cryptol-2.6.0: Cryptol: The Language of Cryptography

Copyright | (c) 2013-2016 Galois Inc.
License | BSD3
Maintainer | cryptol@galois.com
Stability | provisional
Portability | portable
Safe Haskell | Safe
Language | Haskell2010

Cryptol.Parser.Utils

Description

Utility functions that are also useful for translating programs from previous Cryptol versions.

# Documentation

translateExprToNumT :: Expr PName -> Maybe (Type PName) Source #

widthIdent :: Ident Source #