Function ferrite_session::internal::session::choose [−][src]
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>,