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

Cryptol.Eval.SBV

Description

 

Documentation

primTable :: SBV -> IO EvalOpts -> Map PrimIdent (Prim SBV) Source #