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 : Format.formatter -> RegionAnnot.Lpath.t -> unit end