sig
  type t = region
  val equal : t -> t -> bool
  val compare : t -> t -> int
  val pretty : t Pretty_utils.formatter
end