module Mem_exec:sig
..end
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
val cleanup_results : unit -> unit
module Make: