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.return, 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.return, Value.t)
Eval.call_result * int)
option
end