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

{-# OPTIONS --without-K --safe #-}

module Data.Parity where

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

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