Tools.ConstructorSourceval map_eqs :
'a_eqs 'structure_eqs 'b_eqs 'kinds_a 'kinds_b. ('a_eqs,
'structure_eqs,
'kinds_a,
'gadt)
Refl__.Desc.constructor_eqs ->
('b_eqs, 'structure_eqs, 'kinds_b, 'gadt) Refl__.Desc.constructor_eqs ->
'a_eqs ->
'b_eqsval map_choice :
'a_arity 'b_arity 'rec_group 'a_cases 'b_cases 'structures 'positive 'negative 'direct 'gadt.
('a_arity,
'b_arity,
'rec_group,
[> `Exists of unit | `Poly of unit ] as 'a,
'kinds_b,
'positive,
'negative,
'direct,
'gadt)
map ->
('a_cases,
'structures,
'a_arity,
'rec_group,
'a,
'positive,
'negative,
'direct,
'gadt)
Refl__.Desc.constructors ->
('b_cases,
'structures,
'b_arity,
'rec_group,
'kinds_b,
'positive,
'negative,
'direct,
'gadt)
Refl__.Desc.constructors ->
'a_cases Refl__.Desc.binary_choice ->
'b_cases Refl__.Desc.binary_choicetype ('types, 'structure, 'arity, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadt)
kind =
| Tuple : ('types,
'structures,
'arity,
'rec_group,
'kinds,
'positive,
'negative,
'direct,
'gadt)
Tuple.t -> ('types,
[ `Tuple of 'structures ],
'arity,
'rec_group,
'kinds,
'positive,
'negative,
'direct,
'gadt)
kind| Record : ('types,
'structures,
'arity,
'rec_group,
'kinds,
'positive,
'negative,
'direct,
'gadt)
Record.t -> ('types,
[ `Record of 'structures ],
'arity,
'rec_group,
'kinds,
'positive,
'negative,
'direct,
'gadt)
kindtype ('value, 'constructor, 'arity, 'positive, 'negative, 'direct, 'values, 'structure, 'subarity, 'subpositive, 'subnegative, 'subdirect, 'kinds)
link =
| Constructor : ('values * 'eqs,
[ `Constructor of 'structure * 'structure_eq ],
'arity,
'positive,
'negative,
'direct,
'values,
'structure,
'arity,
'positive,
'negative,
'direct,
'kinds)
link| Exists : {presence : ('kinds, 'local) Refl__.Desc.presence;exists_count : ('count, 'exists) Refl__.Desc.length;variables : ('count,
'local,
'positive,
'negative,
'direct,
'positives,
'negatives,
'directs,
'subpositive,
'subnegative,
'subdirect)
Refl__.Desc.subvariables;constraints : ('constraints, 'exists) Refl__.Desc.gadt_constraints;exists : ('exists, 'arity, 'subarity) Refl__.Desc.append;} -> (_,
[ `Exists of
'index
* 'count
* 'structure
* 'local
* 'positives
* 'negatives
* 'directs ],
'arity,
'positive,
'negative,
'direct,
_,
'structure,
'subarity,
'subpositive,
'subnegative,
'subdirect,
[> `Exists ] as 'kinds)
linktype ('cases, 'structures, 'arity, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadt)
destruct =
| Destruct : {constructors : ('cases,
'structures,
'arity,
'rec_group,
'kinds,
'positive,
'negative,
'direct,
'gadt)
Refl__.Desc.constructors;index : ([ `Select of 'index ], 'cases, 'value, _) Refl__.Desc.binary_selection;index_desc : ([ `Select of 'index ], 'structures, 'constructor, _)
Refl__.Desc.binary_selection;constructor : ('value,
'constructor,
'arity,
'rec_group,
'kinds,
'positive,
'negative,
'direct,
'gadt)
Refl__.Desc.constructor;link : ('value,
'constructor,
'arity,
'positive,
'negative,
'direct,
'values,
'structure,
'subarity,
'subpositive,
'subnegative,
'subdirect,
'kinds)
link;values : 'values;name : string;kind : ('values,
'structure,
'subarity,
'rec_group,
'kinds,
'subpositive,
'subnegative,
'subdirect,
'gadt)
kind;} -> ('cases,
'structures,
'arity,
'rec_group,
'kinds,
'positive,
'negative,
'direct,
'gadt)
destructval destruct_choice :
'index 'types 'structure 'tail_cases 'tail_structures 'arity 'rec_group 'kinds 'positive 'negative 'direct 'gadt.
('cases,
'structures,
'arity,
'rec_group,
'kinds,
'positive,
'negative,
'direct,
'gadt)
Refl__.Desc.constructors ->
('index, 'cases, 'types, 'tail_cases) Refl__.Desc.binary_selection ->
('index, 'structures, 'structure, 'tail_structures)
Refl__.Desc.binary_selection ->
('tail_cases,
'tail_structures,
'arity,
'rec_group,
'kinds,
'positive,
'negative,
'direct,
'gadt)
Refl__.Desc.constructors ->
'tail_cases Refl__.Desc.binary_choice ->
('cases,
'structures,
'arity,
'rec_group,
'kinds,
'positive,
'negative,
'direct,
'gadt)
destruct