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