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
TupleBuilderthat uses a KList as the tuple representation.