Type Alias TabObOp

pub type TabObOp<V, E> = Path<TabObType<V, E>, TabObProj<V, E>>;

Operation on objects in a discrete tabulator theory.

Aliased Type

enum TabObOp<V, E> {
    Id(TabObType<V, E>),
    Seq(NonEmpty<TabObProj<V, E>>),
}

Variants

Id(TabObType<V, E>)

The identity, or empty, path at a vertex.

Seq(NonEmpty<TabObProj<V, E>>)

A nontrivial path, comprising a non-empty vector of consecutive edges.