type-natural-1.3.0.2: Type-level natural and proofs of their properties.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Type.Ordinal.Builtin

Description

Deprecated: Use Data.Type.Ordinal instead

Documentation

module Data.Type.Ordinal