Module Subst.Lazy
include Ocaml_typing.Types.Wrapped
type value_description = {val_type : Ocaml_typing.Types.type_expr Ocaml_typing.Subst.Lazy.wrapped;val_modalities : Ocaml_typing.Mode.Modality.t;val_kind : Ocaml_typing.Types.value_kind;val_loc : Ocaml_parsing.Location.t;val_zero_alloc : Ocaml_typing.Zero_alloc.t;val_attributes : Ocaml_parsing.Parsetree.attributes;val_uid : Ocaml_typing.Types.Uid.t;
}type module_type = | Mty_ident of Ocaml_typing.Path.t| Mty_signature of Ocaml_typing.Subst.Lazy.signature| Mty_functor of Ocaml_typing.Subst.Lazy.functor_parameter * Ocaml_typing.Subst.Lazy.module_type| Mty_alias of Ocaml_typing.Path.t| Mty_strengthen of Ocaml_typing.Subst.Lazy.module_type * Ocaml_typing.Path.t * Ocaml_typing.Types.Aliasability.t| Mty_for_hole
and functor_parameter = | Unit| Named of Ocaml_typing.Ident.t option * Ocaml_typing.Subst.Lazy.module_type
and signature =
Ocaml_typing.Subst.Lazy.signature_item list Ocaml_typing.Subst.Lazy.wrappedand signature_item = | Sig_value of Ocaml_typing.Ident.t * Ocaml_typing.Subst.Lazy.value_description * Ocaml_typing.Types.visibility| Sig_type of Ocaml_typing.Ident.t * Ocaml_typing.Types.type_declaration * Ocaml_typing.Types.rec_status * Ocaml_typing.Types.visibility| Sig_typext of Ocaml_typing.Ident.t * Ocaml_typing.Types.extension_constructor * Ocaml_typing.Types.ext_status * Ocaml_typing.Types.visibility| Sig_module of Ocaml_typing.Ident.t * Ocaml_typing.Types.module_presence * Ocaml_typing.Subst.Lazy.module_declaration * Ocaml_typing.Types.rec_status * Ocaml_typing.Types.visibility| Sig_modtype of Ocaml_typing.Ident.t * Ocaml_typing.Subst.Lazy.modtype_declaration * Ocaml_typing.Types.visibility| Sig_class of Ocaml_typing.Ident.t * Ocaml_typing.Types.class_declaration * Ocaml_typing.Types.rec_status * Ocaml_typing.Types.visibility| Sig_class_type of Ocaml_typing.Ident.t * Ocaml_typing.Types.class_type_declaration * Ocaml_typing.Types.rec_status * Ocaml_typing.Types.visibility
and module_declaration = {md_type : Ocaml_typing.Subst.Lazy.module_type;md_modalities : Ocaml_typing.Mode.Modality.t;md_attributes : Ocaml_parsing.Parsetree.attributes;md_loc : Ocaml_parsing.Location.t;md_uid : Ocaml_typing.Types.Uid.t;
}and modtype_declaration = {mtd_type : Ocaml_typing.Subst.Lazy.module_type option;mtd_attributes : Ocaml_parsing.Parsetree.attributes;mtd_loc : Ocaml_parsing.Location.t;mtd_uid : Ocaml_typing.Types.Uid.t;
}val sort_of_signature_item :
Ocaml_typing.Subst.Lazy.signature_item ->
Ocaml_typing.Jkind_types.Sort.t optionval of_value : 'a -> 'a Ocaml_typing.Subst.Lazy.wrappedval of_lazy : 'a Stdlib.Lazy.t -> 'a Ocaml_typing.Subst.Lazy.wrappedval substitute :
Ocaml_typing.Subst.t ->
'a Ocaml_typing.Subst.Lazy.wrapped ->
'a Ocaml_typing.Subst.Lazy.wrappedval of_module_decl :
Ocaml_typing.Types.module_declaration ->
Ocaml_typing.Subst.Lazy.module_declarationval of_modtype :
Ocaml_typing.Types.module_type ->
Ocaml_typing.Subst.Lazy.module_typeval 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_item :
Ocaml_typing.Types.signature_item ->
Ocaml_typing.Subst.Lazy.signature_itemval of_functor_parameter :
Ocaml_typing.Types.functor_parameter ->
Ocaml_typing.Subst.Lazy.functor_parameterval of_value_description :
Ocaml_typing.Types.value_description ->
Ocaml_typing.Subst.Lazy.value_descriptionval 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 value_description :
Ocaml_typing.Subst.t ->
Ocaml_typing.Subst.Lazy.value_description ->
Ocaml_typing.Subst.Lazy.value_descriptionval force_module_decl :
Ocaml_typing.Subst.Lazy.module_declaration ->
Ocaml_typing.Types.module_declarationval force_modtype :
Ocaml_typing.Subst.Lazy.module_type ->
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_itemval force_functor_parameter :
Ocaml_typing.Subst.Lazy.functor_parameter ->
Ocaml_typing.Types.functor_parameterval force_value_description :
Ocaml_typing.Subst.Lazy.value_description ->
Ocaml_typing.Types.value_descriptionval force_type_expr :
Ocaml_typing.Types.type_expr Ocaml_typing.Subst.Lazy.wrapped ->
Ocaml_typing.Types.type_expr