Module Pickles_types.Hlist0

module Id : sig ... end

The type-level identity function.

module Length : sig ... end

Length encodes the length of lists as Peano integers.

module H1 (F : Poly_types.T1) : sig ... end

H1 is the datatype of heterogeneous lists whose content type varies over a single type parameter.

module H1_1 (F : Poly_types.T2) : sig ... end

H1_1 is the datatype of heterogeneous lists whose content type varies over a single type parameter, but also varies homogeneously over another type parameter.

module HlistId : sig ... end

HlistId is the simplest heteregeneous list.