{-# OPTIONS --safe #-}
module Data.Nat.Order.Inductive where

open import Data.Nat.Order.Inductive.Base         public
open import Data.Nat.Order.Inductive.Conversion   public
open import Data.Nat.Order.Inductive.Decidability public
