Idris2Doc : Search.Negation

Search.Negation

Negates : Type -> Type -> Type
It is much easier to look for positive evidence than it is to look
for negative evidence. So instead of looking for `Not q`, we may
want to look for `p` instead
Parameters: p, q
Methods:
toNegation : p -> Notq

Implementations:
Negates (px) (qx) => Negates (Allpxs) (Anyqxs)
Negates (px) (qx) => Negates (Anypxs) (Allqxs)
Negates (LTmn) (GTEmn)
Negates (LTEmn) (GTmn)
toNegation : Negatespq => p -> Notq
Totality: total