succ package:hedgehog

the successor of a value. For numeric types, succ adds 1.
Another name for pure ().
Is true when the test coverage satisfies the specified Confidence contstraint for all 'Coverage CoverCount's
All labels are covered