Trait nemo::peano::Pop
[−]
[src]
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)