Module Domain_common

module Domain_common: sig .. end

val check_free : Region_bitvector.t -> unit