{-# LANGUAGE Safe #-}
{-# OPTIONS_HADDOCK not-home #-}

module GHC.TypeNats.Internal {-# DEPRECATED "This module will be removed from base in the next version (v4.22)" #-}
    (Natural,
     CmpNat
     ) where

import GHC.Internal.TypeNats.Internal