IdrisDoc
: Decidable.Decidable
Index
Decidable.Decidable
interface
Decidable
decide
:
Decidable
ts
p
=>
liftRel
ts
p
Dec
data
Given
:
Dec
a
->
Type
Always
:
Given
(
Yes
x
)