package kaputt

  1. Overview
  2. Docs

Parameters

module S : Set.S
module P : sig ... end

Signature

val exists : S.t predicate
val for_all : S.t predicate
OCaml

Innovation. Community. Security.