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