Trait BirthProtocolAt 

pub trait BirthProtocolAt<P: Protocol, Position> { }

Static membership evidence for one occurrence in a birth-protocol product.

Implementors

impl<Head, Tail, P, Position> BirthProtocolAt<P, BirthProtocolTail<Position>> for BirthProtocol<Head, Tail>

where Head: Protocol, P: Protocol, Tail: BirthProtocolAt<P, Position>,

impl<P: Protocol, Tail> BirthProtocolAt<P, BirthProtocolHead> for BirthProtocol<P, Tail>