prbnmcn-proptest

Property-based test helpers for prbnmcn packages
IN THIS PACKAGE
Module Proptest . Algebra . Monoid

Parameters

module N : Generic.Name

Signature

val n : string -> string
val associative : ( X.t -> X.t -> X.t ) -> X.t -> X.t -> X.t -> bool
val one_neutral_l : G.t -> bool
val one_neutral_r : G.t -> bool