sig
  type t = RegionAnnot.lpath
  val equal : RegionAnnot.Lpath.t -> RegionAnnot.Lpath.t -> bool
  val compare : RegionAnnot.Lpath.t -> RegionAnnot.Lpath.t -> int
  val pretty : Stdlib.Format.formatter -> RegionAnnot.Lpath.t -> unit
end