Function gt

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

The boolean a > b (C++ greater, prim._OpGT).