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 : 'a Pervasives.ref -> 'a -> ('b -> 'c) -> 'b -> 'c
end