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