1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32
use crate::base::*; use super::utils::*; use crate::functional::row::*; pub struct InternalChoice < Row > where Row : RowCon, { pub (crate) field : AppliedSum < Row, ReceiverF > } impl < Row > Protocol for InternalChoice < Row > where Row : Send + 'static, Row : RowCon, { } impl < Row, A > RecApp < A > for InternalChoice < Row > where Row : RowCon, Row : RecApp < A >, Row::Applied : RowCon, { type Applied = InternalChoice < Row::Applied >; }