IdrisDoc
: Prelude.Pairs.Exists
Index
Prelude.Pairs.Exists
getWitness
:
Exists
P
->
a
getProof
:
(
x
:
Exists
P
) ->
P
(
getWitness
x
)