encode relations on module base

1 files changed, 5 insertions, 0 deletions

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 ()