IdrisDoc: Decidable.Decidable

Decidable.Decidable

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