B2R2
SymbExprTranslator Module
Translates LowUIR expressions into symbolic expressions.
Functions and values
| Function or value |
Description
|
Full Usage:
SymbExprTranslator.translate state expr
Parameters: Returns: Result<SymbExpr, SymbEvalError>
|
Translates a LowUIR expression in the context of the provided symbolic state.
|