lustrec/src/utils/location.mli @ a7062da6
1 |
type t = Lexing.position * Lexing.position |
---|---|
2 |
type filename = string |
3 |
|
4 |
val dummy: t |
5 |
val pp: Format.formatter -> t -> unit |
6 |
val pp_c: Format.formatter -> t -> unit |
7 |
val get_module: unit -> filename |
8 |
val curr: Lexing.lexbuf -> t |
9 |
val shift: t -> t -> t |
10 |
val set_input: filename -> unit |
11 |
val filename_of_loc: t -> filename |