Documentation

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

natValInt :: forall (n :: Nat). KnownNat n => Int Source #

natValWord :: forall (n :: Nat). KnownNat n => Word Source #