{-# OPTIONS --safe #-}
module Data.Unit where

open import Data.Unit.Base       public
open import Data.Unit.Path       public
open import Data.Unit.Properties public

open import Data.Unit.Instances.Everything public
