functor (Value : Datatype.S) (Domain : Domain->
  sig
    val store_computed_call :
      Cil_types.kernel_function ->
      Mem_exec2.Domain.t ->
      Value.t Eval.or_bottom list ->
      (Mem_exec2.Domain.t, Mem_exec2.Domain.summary, Value.t)
      Eval.call_result -> unit
    val reuse_previous_call :
      Cil_types.kernel_function ->
      Mem_exec2.Domain.t ->
      Value.t Eval.or_bottom list ->
      ((Mem_exec2.Domain.t, Mem_exec2.Domain.summary, Value.t)
       Eval.call_result * int)
      option
  end