pub trait TypeArray: Sealed { }
Expand description

The marker trait for type-level arrays of type-level numbers.

Someday, it may contain an associated constant to produce a runtime array, like the other marker traits here. However, that is blocked by this issue.

Implementors§

source§

impl TypeArray for ATerm

source§

impl<V, A> TypeArray for TArr<V, A>