pub fn word_select(cond: &Pred, t: &Word, e: &Word) -> Option<Word>Expand description
The mux tile: cond ? t : e, bit by bit — the same 1-bit select BitVecIte blasts through, so
a predicated select built here and one built from a BoundedExpr are the same circuit.