pub fn wait<N, C, A>(
N,
cont: PartialSession<<N as ContextLens<C, End, Empty>>::Target, A>
) -> PartialSession<C, A> where
C: Context,
A: Protocol,
N: ContextLens<C, End, Empty>,
pub fn wait<N, C, A>(
N,
cont: PartialSession<<N as ContextLens<C, End, Empty>>::Target, A>
) -> PartialSession<C, A> where
C: Context,
A: Protocol,
N: ContextLens<C, End, Empty>,