sig
  type t
  val create : unit -> Location.Loc.t
  val compare : Location.Loc.t -> Location.Loc.t -> int
  val string_of : Location.Loc.t -> string
  val from_int : int -> Location.Loc.t
  val reset : unit -> unit
end