diff options
Diffstat (limited to '')
| -rw-r--r-- | lib/concepts/Ordering.ml | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/lib/concepts/Ordering.ml b/lib/concepts/Ordering.ml deleted file mode 100644 index 42b20e5..0000000 --- a/lib/concepts/Ordering.ml +++ /dev/null @@ -1,4 +0,0 @@ -type ordering = Equal | Smaller | Greater - -let of_int x = - if x < 0 then Smaller else if x > 0 then Greater else Equal |