refl

PPX deriver for reflection
IN THIS PACKAGE
Module Refl . Tools . Tuple . Tuples
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, 'structure2, 'arities0, 'rec_group2, 'kinds2, 'positive2, 'negative2, 'direct2, 'gadts1 ) t -> ( 'head0 * 'tail0, 'structure3, 'arity0 * 'arities1, 'rec_group3, 'kinds3, 'positive3, 'negative3, 'direct3, 'gadt0 * 'gadts2 ) t