kaputt

Testing tool
IN THIS PACKAGE
Module Kaputt . Specification . Map

Parameters

module M : Map.S
module P : sig ... end

Signature

val exists : 'a predicate -> 'a M.t predicate
val for_all : 'a predicate -> 'a M.t predicate