kdrag.define_const

kdrag.define_const(name: str, body: ExprRef) → ExprRef

Define a constant.

>>> x = define_const("define_const_example", smt.IntVal(42))
>>> x
define_const_example
>>> rewrite.unfold(x)
42

Parameters:

• name (str)

• body (ExprRef)

Return type:

ExprRef