Module type `Types.Wrapped`

type 'a wrapped

type value_description = {

val_type : Types.type_expr wrapped;
val_modalities : Mode.Modality.t;
val_kind : Types.value_kind;
val_loc : Location.t;
val_zero_alloc : Zero_alloc.t;
val_attributes : Parsetree.attributes;
val_uid : Uid.t;

}

type module_type =

| Mty_ident of Path.t
| Mty_signature of signature
| Mty_functor of functor_parameter * module_type
| Mty_alias of Path.t
| Mty_strengthen of module_type * Path.t * Types.Aliasability.t

and functor_parameter =

| Unit
| Named of Ident.t option * module_type

and signature = signature_item list wrapped

and signature_item =

| Sig_value of Ident.t * value_description * Types.visibility
| Sig_type of Ident.t * Types.type_declaration * Types.rec_status * Types.visibility
| Sig_typext of Ident.t * Types.extension_constructor * Types.ext_status * Types.visibility
| Sig_module of Ident.t * Types.module_presence * module_declaration * Types.rec_status * Types.visibility
| Sig_modtype of Ident.t * modtype_declaration * Types.visibility
| Sig_class of Ident.t * Types.class_declaration * Types.rec_status * Types.visibility
| Sig_class_type of Ident.t * Types.class_type_declaration * Types.rec_status * Types.visibility

and module_declaration = {

md_type : module_type;
md_modalities : Mode.Modality.t;
md_attributes : Parsetree.attributes;
md_loc : Location.t;
md_uid : Uid.t;

}

and modtype_declaration = {

mtd_type : module_type option;
mtd_attributes : Parsetree.attributes;
mtd_loc : Location.t;
mtd_uid : Uid.t;

}

val sort_of_signature_item : signature_item -> Jkind_types.Sort.t option