{-# OPTIONS --cubical --no-import-sorts --safe #-}
module Cubical.Relation.Nullary.DecidableEq where

open import Cubical.Relation.Nullary.Properties
  using (Dec→Stable; Discrete→isSet) public