package refl
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module T : Desc_type

Signature

type ('sequence, 'structure, 'arities, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadts) t =
  1. | [] : (unit, 'structure, unit, 'rec_group, 'kinds, 'positive, 'negative, 'direct, 'gadts) t
  2. | :: : ('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