IdrisDoc: Decidable.Decidable

Decidable.Decidable

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