    ------------------------------------------------------------------------
    -- The Agda standard library
    --
    -- Instances for parities
    ------------------------------------------------------------------------

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

    module Data.Parity.Instances where

    open import Data.Parity.Properties

    instance
      Parity-≡-isDecEquivalence = ≡-isDecEquivalence