package refl

  1. Overview
  2. Docs
type (!'sequence, !'structure, !'arities, !'rec_group, !'kinds, !'positive, !'negative, !'direct, !'gadts) t = ('sequence, 'structure, 'arities, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadts) Desc_vector(Object).t =
  1. | [] : (unit, 'structure0, unit, 'rec_group0, 'kinds0, 'positive0, 'negative0, 'direct0, 'gadts0) t
  2. | :: : ('head, 'structure1, 'arity, 'rec_group1, 'kinds1, 'positive1, 'negative1, 'direct1, 'gadt) Object.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