Module Mem_exec

module Mem_exec: sig .. end
Counter that must be used each time a new call is analyzed, in order to refer to it later

diff_base_full_zone bases zones remove from the set of bases bases those of which all bits are present in zones


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