27 lines
426 B
Plaintext
27 lines
426 B
Plaintext
;; CONTRACT comp
|
|
|
|
FUNCTION lt(integer, integer) : boolean
|
|
LT a arg0 arg1
|
|
RETURN
|
|
|
|
FUNCTION gt(integer, integer) : boolean
|
|
GT a arg0 arg1
|
|
RETURN
|
|
|
|
FUNCTION egt(integer, integer) : boolean
|
|
EGT a arg0 arg1
|
|
RETURN
|
|
|
|
FUNCTION elt(integer, integer) : boolean
|
|
ELT a arg0 arg1
|
|
RETURN
|
|
|
|
FUNCTION eq(integer, integer) : boolean
|
|
EQ a arg0 arg1
|
|
RETURN
|
|
|
|
FUNCTION neq(integer, integer) : boolean
|
|
NEQ a arg0 arg1
|
|
RETURN
|
|
|