Module Hlist.Gen

Parameters

module T : T1

Signature

type _ t =
  1. | [] : Base.unit t
  2. | :: : 'a T.t * 'b t -> ('a * 'b) t

('hd * 'tl) t is a heterogeneous list containing a head of type 'hd T.t and a tail of type 'tl t.