kaputt

Testing tool
IN THIS PACKAGE
Parameter #2 Kaputt . Specification . Set . P
type p = S.elt
val p : p predicate