diff options
Diffstat (limited to '')
| -rw-r--r-- | bin/main.ml | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/bin/main.ml b/bin/main.ml deleted file mode 100644 index 6b2a068..0000000 --- a/bin/main.ml +++ /dev/null @@ -1,17 +0,0 @@ -let main () = - let digest = - Sha256.to_hex (Sha256.string "sakura") - in - print_endline digest - -let () = - let tuple = - Relational_engine.Tuple.make_materialized ~relation:"natural_less_than" - ~attributes: - (Relational_engine.Tuple.AttributeMap.of_list - [ ("left", Obj.magic 0); ("right", Obj.magic 1) ]) - in - print_endline @@ string_of_bool - @@ Relational_engine.Prelude.Standard.less_than_natural.membership_criteria - tuple; - main () |