Module Model.CLOSURE.Region
module Region:Model.REGION
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