Expand description
Conversions back and forth between flat tuples and their corresponding inductive list structures.
Internally, this library uses inductive type-level lists, but presents an external interface in terms of tuples, for readability. The traits here convert between the two equivalent representations.
At present, tuples up to size 128 are supported.