Expand description

Traits and tags for identifying the dimension of all algebraic entities.

Structs

Dim of dynamically-sized algebraic entities.

Traits

Trait implemented by any type that can be used as a dimension. This includes type-level integers and Dynamic (for dimensions not known at compile-time).

Trait implemented exclusively by type-level integers.

Trait implemented by Dynamic.

Trait implemented by Dynamic and type-level integers different from U1.

Type Definitions