Module Mem_exec2

module Mem_exec2: 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