kaputt

Testing tool
IN THIS PACKAGE
Module type Kaputt . Specification . Pred
type p
val p : p predicate