| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
What4.Protocol.VerilogWriter.Backend
Synopsis
- exprToVerilogExpr :: (IsExprBuilder sym, SymExpr sym ~ Expr n) => Expr n tp -> VerilogM sym n (IExp tp)
Documentation
exprToVerilogExpr :: (IsExprBuilder sym, SymExpr sym ~ Expr n) => Expr n tp -> VerilogM sym n (IExp tp) Source #
Convert a What4 expresssion into a Verilog expression and return a name for that expression's result.