Idris2Doc : BeTTI.Quantifier

BeTTI.Quantifier

(source)
Reexports
import public BeTTI.Quotient
Definitions
0 Forall : (a -> Type) -> Type
  Visibility: public export
0 Exists : (a -> Type) -> Type
  Visibility: public export