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