sig
  type t
  val to_string : Pos.t -> string
  val compare : Pos.t -> Pos.t -> int
  val mk : Lexing.position -> Lexing.position -> Pos.t
  val print : Pos.t -> string -> unit
end