kdrag.printers.lean.of_expr

kdrag.printers.lean.of_expr(e: ExprRef)

>>> x,y,z = smt.Ints("x y z")
>>> of_expr(x)
'x'
>>> of_expr(x + y + z)
'((x + y) + z)'
>>> of_expr(smt.If(x == x, y, z))
'(if (x = x) then y else z)'

Parameters:

e (ExprRef)