Function lt

pub fn lt(a: impl Operand, b: impl Operand) -> Result<Expr>

The boolean a < b (C++ less, prim._OpLT).