strongweak-0.7.0: Convert between strong and weak representations of types
Safe HaskellSafe-Inferred
LanguageGHC2021

Strongweak.Util.TypeNats

Documentation

natVal'' :: forall n. KnownNat n => Natural Source #