pub fn word_binary(op: BitVecBoundedOp, a: &Word, b: &Word) -> Option<Word>Expand description
One of the width-preserving binary circuits (And..AShr, and unary Not on a). None when
the widths disagree or the op is boolean-valued — use word_compare for those.