val raise : t -> exn -> 'a
val make_loc : string -> int -> int -> (int * int) -> string -> t
val make_unlined : (int * int) -> t
val file_name : t -> string
val line_nb_last : t -> int
val bol_pos_last : t -> int
val shift : int -> t -> t
val sub : t -> int -> int -> t
val after : t -> int -> int -> t
val with_line_nb_last : t -> int -> t
val with_bol_pos_last : t -> int -> t
val get : t -> int * int * int * int * int
val from_file : string -> t -> string * int * int * int
type !'a vala =
| VaAnt of string
| VaVal of 'a
val call_with : 'a ref -> 'a -> ('b -> 'c) -> 'b -> 'c
val string_of_location : t -> string
val make : int -> int -> (int * int) -> t