package kaputt

  1. Overview
  2. Docs
type p
val p : p predicate