type-natural-1.3.0.2: src/Data/Type/Natural/Builtin.hs

-- | Since 1.0.0.0
module Data.Type.Natural.Builtin
  {-# DEPRECATED "Use Data.Type.Natural instead" #-}
  (module Data.Type.Natural)
where

import Data.Type.Natural