From 997f3c6c039fd73de26df9f2d2cc1afa9f2677b4 Mon Sep 17 00:00:00 2001
From: Estevan Castilho <tevo@riajuu.net>
Date: Sun, 23 Aug 2026 17:03:25 +0000
Subject: Ordering is now under Utilities

---
 lib/concepts/Ordering.ml | 4 ----
 1 file changed, 4 deletions(-)
 delete mode 100644 lib/concepts/Ordering.ml

(limited to 'lib/concepts/Ordering.ml')

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
-- 
cgit v1.2.3