Util.TypeNats
Description
Handy typenat utils.
natVal'' :: forall n. KnownNat n => Natural Source #
natValInt :: forall n. KnownNat n => Int Source #