pub fn ch_1(a: u1, b: u1, c: u1) -> u1
Bitwise CHOICE of a bit and two 1-bit values. If the bit is true, then take the first value, else take the second value.