strongweak-0.7.0: Convert between strong and weak representations of types
Source
Contents
Index
Safe Haskell
Safe-Inferred
Language
GHC2021
Strongweak.Util.TypeNats
Documentation
natVal''
::
forall
n.
KnownNat
n =>
Natural
Source
#