模块 Depend

module Depend: sig .. end

模块依赖关系。

警告:此模块不稳定,属于 compiler-libs 部分。


module String: Misc.Stdlib.String
type map_tree = 
| Node of String.Set.t * bound_map
type bound_map = map_tree String.Map.t 
val make_leaf : string -> map_tree
val make_node : bound_map -> map_tree
val weaken_map : String.Set.t -> map_tree -> map_tree
val free_structure_names : String.Set.t ref

收集 a.s.t. 中的自由模块标识符。

val pp_deps : string list ref

预处理工具发现的依赖关系。

val open_module : bound_map -> Longident.t -> bound_map
val add_use_file : bound_map -> Parsetree.toplevel_phrase list -> unit
val add_signature : bound_map -> Parsetree.signature -> unit
val add_implementation : bound_map -> Parsetree.structure -> unit
val add_implementation_binding : bound_map -> Parsetree.structure -> bound_map
val add_signature_binding : bound_map -> Parsetree.signature -> bound_map