c374635
5a79973
209383a
1 2
3 4
5
(include_subdirs qualified) (test (name test_rnt) (libraries rnt alcotest qcheck-core qcheck-alcotest batteries))