{-# OPTIONS --cubical --no-import-sorts --safe #-}
module Cubical.Data.Unit.Base where

-- Obtain Unit
open import Agda.Builtin.Unit public
  renaming ( ⊤ to Unit )