type ('types, 'structures, 'arity, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadt)
structure =
| [] : (unit,
unit,
'arity,
'rec_group,
'kinds,
'positive,
'negative,
'direct,
'gadt)
structureval of_desc :
'types 'structures. ('types,
'structures,
'arity,
'rec_group,
'kinds,
'positive,
'negative,
'direct,
'gadt)
Refl__.Desc.tuple_structure ->
('types,
'structures,
'arity,
'rec_group,
'kinds,
'positive,
'negative,
'direct,
'gadt)
structuretype ('types, 'structures, 'arity, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadt)
t =
{structure : ('types,
'structures,
'arity,
'rec_group,
'kinds,
'positive,
'negative,
'direct,
'gadt)
structure;values : 'types;}