prbnmcn-proptest

Property-based test helpers for prbnmcn packages
IN THIS PACKAGE
val n : string -> string
val associative : ( X.t -> X.t -> X.t ) -> X.t -> X.t -> X.t -> bool
val commutative : ( 'a -> 'b -> X.t ) -> 'c -> 'd -> bool
val zero_neutral_l : G.t -> bool
val zero_neutral_r : G.t -> bool
val neg_inverse : G.t -> bool
val zero_neg_inverse : bool Crowbar.gen