cross.mli

(***********************************************************************)
(*                                                                     *)
(*                          HEVEA                                      *)
(*                                                                     *)
(*  Luc Maranget, projet PARA, INRIA Rocquencourt                      *)
(*                                                                     *)
(*  Copyright 1998 Institut National de Recherche en Informatique et   *)
(*  Automatique.  Distributed only by permission.                      *)
(*                                                                     *)
(***********************************************************************)

(* To store an association anchor -> filename *)
val add : string -> string -> unit

(*
   To retrieve associations,
   the filename retrieved can be changed at the very last moment
   by the change function given as argument
*)

(* fullname change file name: format reference from file 'file' to 'name' *)
val fullname : (string -> string) -> string -> string -> string

(* Dump the whole cross-reference table *)
val dump : string -> (string -> string) -> unit