module Mem_exec: sig .. end
sig
end
val new_counter : unit -> int
unit -> int
Counter that must be used each time a new call is analyzed, in order to refer to it later
val cleanup_results : unit -> unit
unit -> unit
Clean all previously stored results
module Make: functor (Value : Datatype.S) -> functor (Domain : Abstract_domain.S) -> sig .. end
functor (
Value
:
Datatype.S
) ->
Domain
Abstract_domain.S