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

module Data.Unit where

open import Agda.Builtin.Unit public