(lang dune 2.2)
(name qcheck-examples)
