1 (***********************************************************************)
5 (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
7 (* Copyright 1999 Institut National de Recherche en Informatique et *)
8 (* en Automatique. All rights reserved. This file is distributed *)
9 (* under the terms of the Q Public License version 1.0. *)
11 (***********************************************************************)
13 (* $Id: depend.mli 4694 2002-04-18 07:27:47Z garrigue $ *)
15 (** Module dependencies. *)
17 module StringSet : Set.S with type elt = string
19 val free_structure_names : StringSet.t ref
21 val add_use_file : StringSet.t -> Parsetree.toplevel_phrase list -> unit
23 val add_signature : StringSet.t -> Parsetree.signature -> unit