kaputt

Testing tool
IN THIS PACKAGE
Module Kaputt . Reducer . Set

Parameters

module S : Set.S

Signature

val red : S.t t