Module Mem_exec

module Mem_exec: sig .. end

module type Domain = sig .. end

val new_counter : 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

Clean all previously stored results

module Make: functor (Value : Datatype.S) -> functor (Domain : Domain) -> sig .. end