kdrag.solvers.scryer.to_term

kdrag.solvers.scryer.to_term(vs: list[ExprRef], expr: ExprRef) → Term

>>> x,y = smt.Ints("x y")
>>> str(to_term([], x + y))
'+(x, y)'

Parameters:

• vs (list[ExprRef])

• expr (ExprRef)

Return type:

Term