Function ferrite_session::internal::session::public::receive_channel[][src]

pub fn receive_channel<C, A, B>(
    cont: impl FnOnce(C::Length) -> PartialSession<C::Appended, B>
) -> PartialSession<C, ReceiveChannel<A, B>> where
    A: Protocol,
    B: Protocol,
    C: Context,
    C: AppendContext<(A, ())>,