{-# OPTIONS --exact-split --safe --prop #-}
module Data.FinNat where

open import Data.FinNat.Definition public
open Pattern public 
open import Data.FinNat.Property public
open import Data.FinNat.Arithmetic public
open import Data.FinNat.Order public
open import Data.FinNat.Property public
