kaputt

Testing tool
IN THIS PACKAGE
Module Kaputt . Abbreviations . Spec . Weak

Parameters

module W : Weak.S
module P : sig ... end

Signature