Function ferrite_session::internal::public::session::offer_choice

pub fn offer_choice<C, Row, SessionSum, InjectSessionSum>(
    cont1: impl FnOnce(InjectSessionSum) -> SessionSum + Send + 'static
) -> PartialSession<C, ExternalChoice<Row>> where
    C: Context,
    Row: RowCon,
    Row: ElimSum,
    Row: SplitRow,
    Row: SumFunctor,
    Row: SumFunctorInject,
    Row: SumApp<SessionF<C>, Applied = SessionSum>,
    Row: FlattenSumApp<InjectSessionF<Row, C>, FlattenApplied = InjectSessionSum>,
    SessionSum: Send + 'static,
    InjectSessionSum: Send + 'static,