Module Mem_exec

module Mem_exec: 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 : Abstract_domain.S-> sig .. end