sig
module Region :
sig
type t = Semantics.Region.t
val print : Format.formatter -> t -> unit
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
end
val clo : int -> Region.t -> Region.t
end