strongweak-0.9.1: Convert between strong and weak representations of types
Safe HaskellNone
LanguageGHC2021

Strongweak.Util.TypeNats

Documentation

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