Module witnesses 

Module for type witnesses used to prove vector bounds at compile time

Structs

Empty

Possibly empty vector with upper bound.

NonEmpty

Compile-time proof of valid bounds. Must be constructed with same bounds to instantiate BoundedVec.

Functions

empty

Type a compile-time proof for possibly empty vector with upper bound

non_empty

Type a compile-time proof of valid bounds