aboutsummaryrefslogtreecommitdiffstats
path: root/bin/main.ml
blob: 4ea66d04a909f6a6c57c74a3ebd559e41757fe3b (plain) (blame)
1
2
3
4
let () =
  begin
    let _ = Relational_engine.Relation.write_and_retrieve() in ()
  end