A convenience alias for a list of inputs (associated with a Universe of type U).
A convenience alias for a list of inputs (associated with a Universe of type U).
Constructs a one-time use Builder for Context c
and type constructor tcType
.
Constructs a one-time use Builder for Context c
and type constructor tcType
.
A
TupleBuilder
that uses a KList as the tuple representation.