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