Module type Model.REGION


module type REGION = sig .. end

include Print.PRINTABLE_TYPE
val bot : t
val top : t
val eq : t -> t -> bool
val leq : t -> t -> bool
val union : t -> t -> t
val inter : t -> t -> t
val compl : t -> t
val minus : t -> t -> t
val simplify : t -> t
val size : t -> int
val dump : Format.formatter -> t -> unit