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