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