module Prelude.DecEq where

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