Module Region.R

type t = region
val equal : t -> t -> bool
val compare : t -> t -> int