{-# OPTIONS --safe #-}
module Data.Fin.Inductive where

open import Data.Fin.Inductive.Base       public
open import Data.Fin.Inductive.Closure    public
open import Data.Fin.Inductive.Path       public
open import Data.Fin.Inductive.Properties public

open import Data.Fin.Inductive.Instances.Everything public
