Module Refl.SequenceSource

Parameters

module T : sig ... end

Signature

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