prbnmcn-proptest

Property-based testing for some structures defined in the prbnmcn-basic-structures package. This package is meant to help testing other prbnmcn-* packages.