Function ferrite_session::internal::session::public::offer_case [−][src]
pub fn offer_case<N, C, A, Row>(
_: N,
cont: PartialSession<C, A>
) -> PartialSession<C, InternalChoice<Row>> where
C: Context,
A: Protocol,
Row: SumApp<ReceiverF>,
N: Prism<Row, Elem = A>,