1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
(* camlp5r *)
(* stdpp.ml,v *)
(* Copyright (c) INRIA 2007-2017 *)
type location = Ploc.t;;
let raise_with_loc = Ploc.raise;;
let make_lined_loc lin bol (bp, ep) = Ploc.make_loc "" lin bol (bp, ep) "";;
let make_loc = Ploc.make_unlined;;
let dummy_loc = Ploc.dummy;;
let first_pos = Ploc.first_pos;;
let last_pos = Ploc.last_pos;;
let line_nb = Ploc.line_nb;;
let bol_pos = Ploc.bol_pos;;
let encl_loc = Ploc.encl;;
let shift_loc = Ploc.shift;;
let sub_loc = Ploc.sub;;
let after_loc = Ploc.after;;
let line_of_loc = Ploc.from_file;;
let loc_name = Ploc.name;;
|
