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