module Calf.Value.Unit where

open import Cubical.Data.Unit
  renaming (Unit to ⊤; isSetUnit to isSet⊤)
  public