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