blob: ed9455e0e2340fa7b474f5a8b142c2eb3c9a3169 (
plain)
1
2
3
4
5
6
7
8
9
|
val lines_starts : (string * int list ref) list ref
val current_file_lines_starts : int list ref
val current_file_current_line : int ref
val current_file : string ref
val start_a_new_file : string -> unit
val raw_pos2raw_line : string -> int -> int * int
val pos2line : string * int * int -> string * int * int * int
val pos2sfull : string * int * int -> string
val pos2sfull_current : int -> int -> string
|
