From 56492ad5f6f09d8c9f337d42803b64d1b9f0668b Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Mon, 27 Apr 2026 13:00:30 -0300
Subject: Introduce Multigroups (#65)

---
 lib/prelude/standard.ml | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'lib/prelude/standard.ml')

diff --git a/lib/prelude/standard.ml b/lib/prelude/standard.ml
index 6822f19..2a507e5 100644
--- a/lib/prelude/standard.ml
+++ b/lib/prelude/standard.ml
@@ -328,3 +328,15 @@ let divide_natural : Relation.t =
     ~generator:(Some generator) ~membership_criteria
     ~provenance:(Relation.Provenance.Base "divide")
     ~lineage:(Relation.Lineage.Base "divide")
+
+let prelude_relations =
+  [ less_than_natural
+  ; less_than_or_equal_natural
+  ; greater_than_natural
+  ; greater_than_or_equal_natural
+  ; equal_natural
+  ; not_equal_natural
+  ; plus_natural
+  ; times_natural
+  ; minus_natural
+  ; divide_natural ]
-- 
cgit v1.2.3