Trait nemo::peano::Pop

pub trait Pop<N: Peano> {
    type Head: SessionType;
    type Tail: SessionType;
}

This represents the types obtained by popping N layers from a stack.

Associated Types

type Head: SessionType

type Tail: SessionType

Implementors

• impl<A: SessionType, B: SessionType> Pop<Z> for (A, B)
• impl<N: Peano, A, B: Pop<N>> Pop<S<N>> for (A, B)