refl

PPX deriver for reflection
IN THIS PACKAGE
Module Refl . Tools . Desc_vector

Parameters

module T : Desc_type

Signature

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