sig
type finfo
val get_file_id : string -> int
val set_current_file : string -> unit
val make_finfo : int -> int -> Finfo.finfo
val make_finfo_line_col : string -> int -> int -> Finfo.finfo
val make_finfo_line_col_id : int -> int -> int -> Finfo.finfo
val bogus : Finfo.finfo
val finfo_to_string : Finfo.finfo -> string
val parsing_locinfo : unit -> Finfo.finfo
val lexing_locinfo : Lexing.lexbuf -> Finfo.finfo
val extract : string -> Finfo.finfo -> string
end