Module array

A type-level array of type-level numbers.

It is not very featureful right now, and should be considered a work in progress.

Structs

• ATerm
  The terminating type for type arrays.
• TArr
  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.