prbnmcn-proptest

Property-based test helpers for prbnmcn packages
IN THIS PACKAGE

Parameters

module N : Generic.Name

Signature

val n : string -> string
module Abelian_group_props : sig ... end
module Monoid_props : sig ... end