{-# OPTIONS --without-K #-}
module Data.Zero where
open import Data.Empty public renaming (⊥ to 𝟘; ⊥-elim to 𝟘-elim)