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