Idris2Doc
: Decidable.Decidable.Extra1
Index
Default
Alternative
Black & White
Decidable.Decidable.Extra1
(
source
)
Reexports
import
public
Decidable.Decidable
Definitions
toWitness
: (
0
_
:
IsYes
prf
)
->
a
Visibility
:
public export