prbnmcn-proptest

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

Parameters

module N : Generic.Name

Signature

module Abelian_group_props : sig ... end
module Monoid_props : sig ... end
val n : string -> string
val neg_sub : G.t -> G.t -> bool