diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-03-07 02:40:26 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-03-07 02:40:26 -0300 |
| commit | e9bc4aa3fa0e775acf1978722da1fde1ed8a469d (patch) | |
| tree | ff78d21ba9a03acae20b15bb2fad2f27bcde75e1 /lib/prelude/standard.ml | |
| parent | fcd8571577f2b98ffc8fa2b95781ed16982804a9 (diff) | |
| download | Sakura-e9bc4aa3fa0e775acf1978722da1fde1ed8a469d.tar.gz Sakura-e9bc4aa3fa0e775acf1978722da1fde1ed8a469d.zip | |
erlang port commands and generated tests
Diffstat (limited to 'lib/prelude/standard.ml')
| -rw-r--r-- | lib/prelude/standard.ml | 3 |
1 files changed, 2 insertions, 1 deletions
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 |