{-# OPTIONS --safe #-}
module Cubical.Relation.Nullary.DecidableEq where

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