2002-03-18 07:08:53 -08:00
|
|
|
(***********************************************************************)
|
|
|
|
|
(* *)
|
2011-07-27 07:17:02 -07:00
|
|
|
(* OCaml *)
|
2002-03-18 07:08:53 -08:00
|
|
|
(* *)
|
|
|
|
|
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
|
|
|
|
|
(* *)
|
|
|
|
|
(* Copyright 1999 Institut National de Recherche en Informatique et *)
|
|
|
|
|
(* en Automatique. All rights reserved. This file is distributed *)
|
|
|
|
|
(* under the terms of the Q Public License version 1.0. *)
|
|
|
|
|
(* *)
|
|
|
|
|
(***********************************************************************)
|
|
|
|
|
|
|
|
|
|
(** Module dependencies. *)
|
|
|
|
|
|
|
|
|
|
module StringSet : Set.S with type elt = string
|
|
|
|
|
|
|
|
|
|
val free_structure_names : StringSet.t ref
|
|
|
|
|
|
2014-10-03 13:31:34 -07:00
|
|
|
val open_module : StringSet.t -> Longident.t -> unit
|
|
|
|
|
|
2002-03-18 07:08:53 -08:00
|
|
|
val add_use_file : StringSet.t -> Parsetree.toplevel_phrase list -> unit
|
|
|
|
|
|
|
|
|
|
val add_signature : StringSet.t -> Parsetree.signature -> unit
|
2012-07-24 09:24:44 -07:00
|
|
|
|
|
|
|
|
val add_implementation : StringSet.t -> Parsetree.structure -> unit
|
