val report_line : Format.formatter -> Lexing.position -> unit
type position = Lexing.position * Lexing.position
exception Located of position * exn
val string : position -> string
val parse : string -> position
val dummy_position : position
type floc = string * int * int * int
val dummy_floc : floc
val extract : position -> floc
val gen_report_line : Format.formatter -> floc -> unit
val gen_report_position : Format.formatter -> position -> unit
val report_position : Format.formatter -> position -> unit
val report_obligation_position : Format.formatter -> floc -> unit
val join : 'a * 'b -> 'a * 'b -> 'a * 'b
val current_offset : int ref
val reloc : Lexing.position -> Lexing.position
val add_ident : string -> floc -> unit
val ident : string -> floc