Function le

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

The boolean a <= b (C++ less_equal, prim._OpLE).