    {-# LANGUAGE Trustworthy #-}
    {-# LANGUAGE DataKinds #-}
    {-# LANGUAGE TypeFamilies #-}
    {-# LANGUAGE NoImplicitPrelude #-}
    {-# OPTIONS_HADDOCK not-home #-}

    {-|
    This module exports the Type Nat kind as well as the comparison type
    family for that kinds.  It is needed to prevent module cycles while still
    allowing these identifiers to be imported in 'Data.Type.Ord'.

    @since 4.16.0.0
    -}

    module GHC.TypeNats.Internal
      ( Natural
      , CmpNat
      ) where

    import GHC.Base(Ordering)
    import GHC.Num.Natural(Natural)

    -- | Comparison of type-level naturals, as a function.
    --
    -- @since 4.7.0.0
    type family CmpNat (m :: Natural) (n :: Natural) :: Ordering