prbnmcn-proptest

Property-based test helpers for prbnmcn packages
IN THIS PACKAGE
Parameter #7 Proptest . Array . Array_theory . V
type t = A.elt Repr.m
val gen : t Crowbar.gen
val (=) : t -> t -> bool