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