{-# OPTIONS --cubical --safe #-}

module Relation.Nullary.Decidable where

open import Relation.Nullary.Decidable.Base public