------------------------------------------------------------------------
-- The Agda standard library
--
-- Parity
------------------------------------------------------------------------

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

module Data.Parity where

------------------------------------------------------------------------
-- Definition

open import Data.Parity.Base public
open import Data.Parity.Properties public
  using (_≟_)