kaputt

Testing tool
IN THIS PACKAGE

Parameters

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

Signature

val exists : W.t predicate
val for_all : W.t predicate