prbnmcn-proptest

Property-based test helpers for prbnmcn packages
IN THIS PACKAGE
Module Proptest . Generic
module type Name = sig ... end
module type Generator = sig ... end
val add_test : string -> bool Crowbar.gen -> unit
val apply : 'a Crowbar.gen -> ( 'a -> 'b ) -> 'c Crowbar.gen
val apply_pair : 'a Crowbar.gen -> ( 'b -> 'a -> 'c ) -> 'd Crowbar.gen
val apply_triple : 'a Crowbar.gen -> ( 'b -> 'c -> 'a -> 'd ) -> 'e Crowbar.gen
val sf : ( 'a, unit, string ) format -> 'a