type (!'sequence, !'structure, !'arities, !'rec_group, !'kinds, !'positive, !'negative, !'direct, !'gadts)
t =
('sequence,
'structure,
'arities,
'rec_group,
'kinds,
'positive,
'negative,
'direct,
'gadts)
Desc_vector(Tuple).t =
| [] : (unit,
'structure0,
unit,
'rec_group0,
'kinds0,
'positive0,
'negative0,
'direct0,
'gadts0)
t| :: : ('head,
'structure1,
'arity,
'rec_group1,
'kinds1,
'positive1,
'negative1,
'direct1,
'gadt)
Tuple.t
* ('tail,
'structure1,
'arities0,
'rec_group1,
'kinds1,
'positive1,
'negative1,
'direct1,
'gadts1)
t -> ('head * 'tail,
'structure1,
'arity * 'arities0,
'rec_group1,
'kinds1,
'positive1,
'negative1,
'direct1,
'gadt * 'gadts1)
t