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

module Data.Empty where

open import Data.Empty.Base public