Module Type.TypeParam

type bound_kind =
  1. | Colon
  2. | Extends
;
type t('M, 'T) = ('M, t'('M, 'T));
and t'('M, 'T) = {
  1. name: Identifier.t('M, 'M),
  2. bound: annotation_or_hint('M, 'T),
  3. bound_kind: bound_kind,
  4. variance: option(Variance.t('M)),
  5. default: option(t('M, 'T)),
};