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