prbnmcn-proptest

Property-based test helpers for prbnmcn packages
IN THIS PACKAGE
Module Proptest . Algebra
module Monoid (N : Generic.Name) (X : Generic.Generator) (G : Basic_structures.Basic_intf.Monoid with type t = X.t) : sig ... end
module Ring (N : Generic.Name) (X : Generic.Generator) (G : Basic_structures.Basic_intf.Ring with type t = X.t) : sig ... end
module Module (N : Generic.Name) (R : Generic.Generator) (X : Generic.Generator) (M : Basic_structures.Basic_intf.Module with type t = X.t and type R.t = R.t) : sig ... end