sig
  type t
  exception Exc of Ploc.t * exn
  val raise : Ploc.t -> exn -> 'a
  val make : int -> int -> int * int -> Ploc.t
  val make_unlined : int * int -> Ploc.t
  val dummy : Ploc.t
  val first_pos : Ploc.t -> int
  val last_pos : Ploc.t -> int
  val line_nb : Ploc.t -> int
  val bol_pos : Ploc.t -> int
  val encl : Ploc.t -> Ploc.t -> Ploc.t
  val shift : int -> Ploc.t -> Ploc.t
  val sub : Ploc.t -> int -> int -> Ploc.t
  val after : Ploc.t -> int -> int -> Ploc.t
  val name : string Pervasives.ref
  val from_file : string -> Ploc.t -> string * int * int * int
  type 'a vala = VaAnt of string | VaVal of 'a
  val call_with : 'Pervasives.ref -> '-> ('-> 'c) -> '-> 'c
end