From 5bbbbc976d25859082014f3720b82bcd2d05a2f0 Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Fri, 6 Mar 2026 04:10:31 -0300 Subject: encode relations on module base --- bin/main.ml | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'bin') diff --git a/bin/main.ml b/bin/main.ml index c5e2c1d..adbf1dc 100644 --- a/bin/main.ml +++ b/bin/main.ml @@ -3,4 +3,9 @@ let main () = print_endline digest let () = + (* TODO: Since the comparison on the standard function is done atop of the abstract value, a change on the abstract name incurs into an alteration of the order as well *) + let left_value: Relational_engine.Conventions.AbstractValue.t = {fields = Relational_engine.Conventions.AbstractValue.StringMap.of_list [("value!!!!!", "0")]} in + let right_value: Relational_engine.Conventions.AbstractValue.t = {fields = Relational_engine.Conventions.AbstractValue.StringMap.of_list [("value", "1")]} in + let tuple = Relational_engine.Tuple.make_materialized ~relation: "natural_less_than" ~attributes: (Relational_engine.Conventions.AbstractValue.StringMap.of_list [("left", left_value); ("right", right_value)]) in + print_endline @@ string_of_bool @@ Relational_engine.Prelude.Standard.less_than_natural.membership_criteria tuple; main () -- cgit v1.2.3