IdrisDoc: Prelude.Pairs.Exists

Prelude.Pairs.Exists

getProof : (x : Exists P) -> P (getWitness x)
getWitness : Exists P -> a