strongweak
Source
Contents
Index
Safe Haskell
None
Language
GHC2021
Strongweak.Util.TypeNats
Documentation
natVal''
::
forall
(n ::
Nat
).
KnownNat
n =>
Natural
Source
#