Function ferrite_session::offer_case

pub fn offer_case<N, C, A, Row>(
    _: N, 
    cont: PartialSession<C, A>
) -> PartialSession<C, InternalChoice<Row>> where
    C: Context,
    A: Protocol,
    Row: RowApp<ReceiverF>,
    N: Prism<Row, Elem = A>,