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

module Data.Empty where

open import Data.Empty.Base public