type ('sequence, 'structure, 'arities, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadts)
t =
| [] : (unit,
'structure,
unit,
'rec_group,
'kinds,
'positive,
'negative,
'direct,
'gadts)
t| :: : ('head,
'structure,
'arity,
'rec_group,
'kinds,
'positive,
'negative,
'direct,
'gadt)
T.t
* ('tail,
'structure,
'arities,
'rec_group,
'kinds,
'positive,
'negative,
'direct,
'gadts)
t -> ('head * 'tail,
'structure,
'arity * 'arities,
'rec_group,
'kinds,
'positive,
'negative,
'direct,
'gadt * 'gadts)
t