Function word_compare 

pub fn word_compare(op: BitVecBoundedOp, a: &Word, b: &Word) -> Option<Pred>

One of the boolean-valued comparisons (Eq, ULt, SLt). None for a value-producing op or a width mismatch.