Module `Includemod.Error`Source

Sourcetype ('elt, 'explanation) diff = {

}

Sourcetype 'elt core_diff = ('elt, unit) diff

Sourcetype functor_arg_descr =

Sourcetype core_sigitem_symptom =

Sourcetype core_module_type_symptom =

Sourcetype module_type_symptom =

Sourceand module_type_diff = (Types.module_type, module_type_symptom) diff

Sourceand functor_symptom =

Sourceand ('arg, 'path) functor_param_symptom =

and arg_functor_param_symptom =
  (Types.functor_parameter, Ident.t) functor_param_symptom

and functor_params_diff =
  (Types.functor_parameter list * Types.module_type) core_diff

Sourceand signature_symptom = {

env : Env.t;
missings : Types.signature_item list;
incompatibles : (Ident.t * sigitem_symptom) list;
oks : (int * Typedtree.module_coercion) list;
leftovers : ((Types.signature_item as 'it) * 'it * int) list;
(*
signature items that could not be compared due to type divergence
*)

}

Sourceand sigitem_symptom =

Sourceand module_type_declaration_symptom =

| Illegal_permutation of Typedtree.module_coercion
| Not_greater_than of module_type_diff
| Not_less_than of module_type_diff
| Incomparable of {
1. less_than : module_type_diff;
2. greater_than : module_type_diff;
}

Sourcetype all =

| In_Compilation_unit of (string, signature_symptom) diff
| In_Signature of signature_symptom
| In_Module_type of module_type_diff
| In_Module_type_substitution of Ident.t * (Types.module_type, module_type_declaration_symptom) diff
| In_Type_declaration of Ident.t * core_sigitem_symptom
| In_Expansion of core_module_type_symptom

Install