cryptol-2.10.0: Cryptol: The Language of Cryptography
Copyright(c) 2013-2016 Galois Inc.
LicenseBSD3
Maintainercryptol@galois.com
Stabilityprovisional
Portabilityportable
Safe HaskellSafe-Inferred
LanguageHaskell2010

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 #