{-# OPTIONS --cubical --safe #-}

module Data.Nat where

open import Data.Nat.Base public