Parameter `Map_wrapped.From`

type 'a wrapped

type value_description = {

val_type : Types.type_expr From.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 From.signature
| Mty_functor of From.functor_parameter * From.module_type
| Mty_alias of Path.t
| Mty_strengthen of From.module_type * Path.t * Types.Aliasability.t

and functor_parameter =

| Unit
| Named of Ident.t option * From.module_type

and signature = From.signature_item list From.wrapped

and signature_item =

| Sig_value of Ident.t * From.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 * From.module_declaration * Types.rec_status * Types.visibility
| Sig_modtype of Ident.t * From.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 : From.module_type;
md_modalities : Mode.Modality.t;
md_attributes : Parsetree.attributes;
md_loc : Location.t;
md_uid : Uid.t;

}

and modtype_declaration = {

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

}

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