aboutsummaryrefslogtreecommitdiffstats
path: root/bin/main.ml
blob: 46bb9f1e96dcade15bc475755cac60389c0dc06b (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
let main () =
  let digest = Relational_engine.Interop.Sha256.compute_hash (Bytes.of_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 ()