pub fn words_equal(a: &Word, b: &Word) -> Option<Pred>
The miter: a == b over every bit. None on a width mismatch.
a == b
None