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

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

import GHC.Internal.TypeNats.Internal