Module Imandra_util.Iloc

Location

type position = Stdlib.Lexing.position = {
pos_fname : string;
pos_lnum : int;
pos_bol : int;
pos_cnum : int;
}
type t = {
loc_start : position;
loc_end : position;
loc_ghost : bool;
}
val fname : t -> string
val none : t
val curr : Stdlib.Lexing.lexbuf -> t
val print_compact : Stdlib.Format.formatter -> t -> unit
val to_string : ?⁠clean:bool -> t -> string option