| Copyright | (c) 2020 Galois Inc. |
|---|---|
| License | BSD3 |
| Maintainer | cryptol@galois.com |
| Safe Haskell | None |
| Language | Haskell2010 |
Cryptol.Eval.What4
Description
Synopsis
- type Value sym = GenValue (What4 sym)
- primTable :: IsSymExprBuilder sym => What4 sym -> Map PrimIdent (Value sym)
- floatPrims :: IsSymExprBuilder sym => What4 sym -> Map PrimIdent (Value sym)