diff options
Diffstat (limited to 'cheri/sail_latex/sailfncompare.tex')
| -rw-r--r-- | cheri/sail_latex/sailfncompare.tex | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/cheri/sail_latex/sailfncompare.tex b/cheri/sail_latex/sailfncompare.tex deleted file mode 100644 index f4378ba7..00000000 --- a/cheri/sail_latex/sailfncompare.tex +++ /dev/null @@ -1,11 +0,0 @@ -function #\hyperref[zcompare]{compare}# (cmp, valA, valB) = - match cmp { - EQ => valA == valB, - NE => valA != valB, - GE => valA >=_s valB, - GEU => valA >=_u valB, - GT => valB <_s valA, - LE => valB >=_s valA, - LT => valA <_s valB, - LTU => valA <_u valB - } |