2eab114
3235bcb
1 2
3
4
let () = begin let _ = Relational_engine.Relation.write_and_retrieve() in () end