base-4.20.0.0: src/GHC/TypeNats/Internal.hs

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

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

import GHC.Internal.TypeNats.Internal