Function ferrite_session::internal::public::session::choose

pub fn choose<N, M, C1, C2, A, B, Row>(
    _: N, 
    _: M, 
    cont: PartialSession<C2, A>
) -> PartialSession<C1, A> where
    C1: Context,
    C2: Context,
    A: Protocol,
    B: Protocol,
    Row: RowCon,
    N: ContextLens<C1, ExternalChoice<Row>, B, Target = C2>,
    M: Prism<Row, Elem = B>,