Expand description
A type-level array of type-level numbers.
It is not very featureful right now, and should be considered a work in progress.
Structsยง
- The terminating type for type arrays.
TArr
is a type that acts as an array of types. It is defined similarly toUInt
, only its values can be more than bits, and it is designed to act as an array. So you can only add two if they have the same number of elements, for example.