(include_subdirs qualified) (test (name test_rnt) (libraries rnt alcotest qcheck-core qcheck-alcotest batteries))