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

open import Data.Nat.Definition public
open import Data.Nat.Syntax public
open Pattern public
open import Data.Nat.Arithmetic public
open import Data.Nat.Order public
open import Data.Nat.Property public
open import Data.Nat.Arithmetic.Subtraction public



