kaputt

Testing tool
IN THIS PACKAGE
Parameter #2 Kaputt . Specification . Weak . P
type p = W.data
val p : p predicate