what4-1.4: Solver-agnostic symbolic values support for issuing queries
Safe HaskellSafe-Inferred
LanguageHaskell2010

What4.Protocol.VerilogWriter.Backend

Synopsis

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.