type (!'sequence, !'structure, !'arities, !'rec_group, !'kinds, !'positive, !'negative, !'direct, !'gadts)
t =
('sequence,
'structure,
'arities,
'rec_group,
'kinds,
'positive,
'negative,
'direct,
'gadts)
Desc_vector(Field).t =
| [] : (unit,
'structure0,
unit,
'rec_group0,
'kinds0,
'positive0,
'negative0,
'direct0,
'gadts0)
t| :: : ('head,
'structure1,
'arity,
'rec_group1,
'kinds1,
'positive1,
'negative1,
'direct1,
'gadt)
Field.t
* ('tail,
'structure2,
'arities0,
'rec_group2,
'kinds2,
'positive2,
'negative2,
'direct2,
'gadts1)
t -> ('head0 * 'tail0,
'structure3,
'arity0 * 'arities1,
'rec_group3,
'kinds3,
'positive3,
'negative3,
'direct3,
'gadt0 * 'gadts2)
t