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(Record).t =
  1. | [] : (unit, 'structure0, unit, 'rec_group0, 'kinds0, 'positive0, 'negative0, 'direct0, 'gadts0) t
  2. | :: : ('head, 'structure1, 'arity, 'rec_group1, 'kinds1, 'positive1, 'negative1, 'direct1, 'gadt) Record.t * ('tail, 'structure1, 'arities0, 'rec_group1, 'kinds1, 'positive1, 'negative1, 'direct1, 'gadts1) t -> ('head * 'tail, 'structure1, 'arity * 'arities0, 'rec_group1, 'kinds1, 'positive1, 'negative1, 'direct1, 'gadt * 'gadts1) t