cryptol-2.8.0: Cryptol: The Language of Cryptography
Safe HaskellSafe
LanguageHaskell2010

Cryptol.TypeCheck.TypePat

Documentation

aNat :: Pat Type Integer Source #