kaputt

Testing tool
IN THIS PACKAGE
Parameter #2 Kaputt . Specification . Map . P
type p = M.key
val p : p predicate