Module traits

The operations which an array type must support to implement open hypergraphs

Traits

Array

Arrays of elements T for some ArrayKind K.

ArrayKind

Array kinds. For example, super::vec::VecKind is the set of types Vec<T> for all T.

NaturalArray

Arrays of natural numbers. This is used for computing with indexes and sizes.

OrdArray