kdrag.contrib.pcode.asmspec.substitute_ghost

kdrag.contrib.pcode.asmspec.substitute_ghost(e: ExprRef, ghost_env: dict[str, ExprRef]) → ExprRef

Substitute ghost variables in an expression.

Parameters: