1 (**************************************************************************)
2 (* *)
3 (* OCaml *)
4 (* *)
5 (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
6 (* *)
7 (* Copyright 1999 Institut National de Recherche en Informatique et *)
8 (* en Automatique. *)
9 (* *)
10 (* All rights reserved. This file is distributed under the terms of *)
11 (* the GNU Lesser General Public License version 2.1, with the *)
12 (* special exception on linking described in the file LICENSE. *)
13 (* *)
14 (**************************************************************************)
15
16 (** Module dependencies.
17
18 {b Warning:} this module is unstable and part of
19 {{!Compiler_libs}compiler-libs}.
20
21 *)
22
23 module String = Misc.Stdlib.String
24
25 type map_tree = Node of String.Set.t * bound_map
26 and bound_map = map_tree String.Map.t
27 val make_leaf : string -> map_tree
28 val make_node : bound_map -> map_tree
29 val weaken_map : String.Set.t -> map_tree -> map_tree
30
31 val free_structure_names : String.Set.t ref
32
33 (** dependencies found by preprocessing tools *)
34 val pp_deps : string list ref
35
36 val open_module : bound_map -> Longident.t -> bound_map
37
38 val add_use_file : bound_map -> Parsetree.toplevel_phrase list -> unit
39
40 val add_signature : bound_map -> Parsetree.signature -> unit
41
42 val add_implementation : bound_map -> Parsetree.structure -> unit
43
44 val add_implementation_binding : bound_map -> Parsetree.structure -> bound_map
45 val add_signature_binding : bound_map -> Parsetree.signature -> bound_map
46