type-natural-0.5.0.0: Data/Type/Natural/Class.hs

-- | Re-exports arithmetic and order structure for peano arithmetic.
module Data.Type.Natural.Class ( module Data.Type.Natural.Class.Arithmetic
                               , module Data.Type.Natural.Class.Order
                               ) where
import Data.Type.Natural.Class.Arithmetic
import Data.Type.Natural.Class.Order