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