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

Parameters

module T : UnaryTypeS

Signature

type _ t =
  1. | [] : unit t
  2. | :: : 'head T.t * 'tail t -> ('head * 'tail) t