Module Subst.Lazy
type module_decl = {mdl_type : Subst.Lazy.modtype;mdl_attributes : Parsetree.attributes;mdl_loc : Location.t;mdl_uid : Types.Uid.t;
}and modtype = | MtyL_ident of Path.t| MtyL_signature of Subst.Lazy.signature| MtyL_functor of Subst.Lazy.functor_parameter * Subst.Lazy.modtype| MtyL_alias of Path.t
and modtype_declaration = {mtdl_type : Subst.Lazy.modtype option;mtdl_attributes : Parsetree.attributes;mtdl_loc : Location.t;mtdl_uid : Types.Uid.t;
}and signature_item = | SigL_value of Ident.t * Types.value_description * Types.visibility| SigL_type of Ident.t * Types.type_declaration * Types.rec_status * Types.visibility| SigL_typext of Ident.t * Types.extension_constructor * Types.ext_status * Types.visibility| SigL_module of Ident.t * Types.module_presence * Subst.Lazy.module_decl * Types.rec_status * Types.visibility| SigL_modtype of Ident.t * Subst.Lazy.modtype_declaration * Types.visibility| SigL_class of Ident.t * Types.class_declaration * Types.rec_status * Types.visibility| SigL_class_type of Ident.t * Types.class_type_declaration * Types.rec_status * Types.visibility
val of_module_decl : Types.module_declaration -> Subst.Lazy.module_declval of_modtype : Types.module_type -> Subst.Lazy.modtypeval of_modtype_decl :
Types.modtype_declaration ->
Subst.Lazy.modtype_declarationval of_signature : Types.signature -> Subst.Lazy.signatureval of_signature_items : Subst.Lazy.signature_item list -> Subst.Lazy.signatureval of_signature_item : Types.signature_item -> Subst.Lazy.signature_itemval module_decl :
Subst.scoping ->
Subst.t ->
Subst.Lazy.module_decl ->
Subst.Lazy.module_declval modtype :
Subst.scoping ->
Subst.t ->
Subst.Lazy.modtype ->
Subst.Lazy.modtypeval modtype_decl :
Subst.scoping ->
Subst.t ->
Subst.Lazy.modtype_declaration ->
Subst.Lazy.modtype_declarationval signature :
Subst.scoping ->
Subst.t ->
Subst.Lazy.signature ->
Subst.Lazy.signatureval signature_item :
Subst.scoping ->
Subst.t ->
Subst.Lazy.signature_item ->
Subst.Lazy.signature_itemval force_module_decl : Subst.Lazy.module_decl -> Types.module_declarationval force_modtype : Subst.Lazy.modtype -> Types.module_typeval force_modtype_decl :
Subst.Lazy.modtype_declaration ->
Types.modtype_declarationval force_signature : Subst.Lazy.signature -> Types.signatureval force_signature_once :
Subst.Lazy.signature ->
Subst.Lazy.signature_item listval force_signature_item : Subst.Lazy.signature_item -> Types.signature_item