cryptol-3.0.0: Cryptol: The Language of Cryptography
Copyright(c) 2020 Galois Inc.
LicenseBSD3
Maintainercryptol@galois.com
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cryptol.Eval.What4

Description

 

Documentation

type Value sym = GenValue (What4 sym) Source #

primTable :: IsSymExprBuilder sym => What4 sym -> IO EvalOpts -> Map PrimIdent (Prim (What4 sym)) Source #