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