{-# OPTIONS --without-K #-}
module sets.nat.ordering where

open import sets.nat.ordering.lt public
open import sets.nat.ordering.leq public