prbnmcn-proptest

Property-based test helpers for prbnmcn packages
IN THIS PACKAGE
Parameter #1 Proptest . Algebra . Commutative_ring . N
val name : string