Trait BirthProtocolAt 

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

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

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

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>