Base_quickcheck is a randomized testing framework for OCaml, designed for users of Base.
Base
The full API is browsable here.