------------------------------------------------------------------------
-- The Agda standard library
--
-- Natural numbers
------------------------------------------------------------------------

module Data.Nat where

-- The core type and operations are re-exported from Data.Nat.Base
open import Data.Nat.Base public