-- {-# OPTIONS --safe #-}
{-# OPTIONS --with-K #-}
module Prelude.DecEq where

open import Prelude.DecEq.Core public
open import Prelude.DecEq.WithK public
open import Prelude.DecEq.Derive public