Type Alias ChooseTimed 

pub type ChooseTimed<S1, S2, const CLOCK: char, const START: i128, const INCLUDE_START: bool, const END: i128, const INCLUDE_END: bool, const RESET: char> = SendTimed<Either<<S1 as Session>::Dual, <S2 as Session>::Dual>, CLOCK, START, INCLUDE_START, END, INCLUDE_END, RESET, End>;

Available on crate feature binary_atmp only.

Choose between two sessions S1 and S2. Implemented using Send and Either.

Aliased Type

pub struct ChooseTimed<S1, S2, const CLOCK: char, const START: i128, const INCLUDE_START: bool, const END: i128, const INCLUDE_END: bool, const RESET: char> { /* private fields */ }