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 to UInt, 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.