{-# OPTIONS --without-K --safe #-}

module Data.Nat where

open import Data.Nat.Base public