gt is a greater-than test operation a > b.
gt
a > b
(define (gt a b) (param a) (param b) (rvl "gt"))