From e9bc4aa3fa0e775acf1978722da1fde1ed8a469d Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Sat, 7 Mar 2026 02:40:26 -0300
Subject: erlang port commands and generated tests

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

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

diff --git a/lib/prelude/standard.ml b/lib/prelude/standard.ml
index 5099104..5725978 100644
--- a/lib/prelude/standard.ml
+++ b/lib/prelude/standard.ml
@@ -21,9 +21,10 @@ let less_than_natural: Relation.t =
             in let right = Tuple.AttributeMap.find "right" materialized.attributes
             in left < right
         | Tuple.NonMaterialized _non_materialized -> false (* TODO: Handle references later *)
-  in Relation.make 
+  in Relation.make
     ~hash: None
     ~name: "natural_natural_less_than"
+    ~schema: (Schema.empty |> Schema.add "left" "natural" |> Schema.add "right" "natural")
     ~tree: None
     ~constraints: None
     ~cardinality: Conventions.Cardinality.AlephZero
-- 
cgit v1.2.3