Module type Model.REGION
module type REGION =sig..end
include Print.PRINTABLE_TYPE
val bot : tval top : tval eq : t -> t -> boolval leq : t -> t -> boolval union : t -> t -> tval inter : t -> t -> tval compl : t -> tval minus : t -> t -> tval simplify : t -> tval size : t -> intval dump : Format.formatter -> t -> unit