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