Copyright | (C) 2015-2016 University of Twente |
---|---|
License | BSD2 (see the file LICENSE) |
Maintainer | Christiaan Baaij <christiaan.baaij@gmail.com> |
Safe Haskell | Unsafe |
Language | Haskell2010 |
- unsafeSNat :: Integer -> SNat k
Documentation
unsafeSNat :: Integer -> SNat k Source #
I hope you know what you're doing