{-# OPTIONS --safe #-} module Cubical.Data.Fin where open import Cubical.Data.Fin.Base public open import Cubical.Data.Fin.Properties public open import Cubical.Data.Fin.Literals public