{-# OPTIONS --without-K #-}
module Class.Decidable where
 
open import Class.Decidable.Core public
open import Class.Decidable.Instances public
open import Class.Decidable.WithoutK public