On This Page
package refl
Parameters
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
On This Page