kdrag.utils.defined_decls

kdrag.utils.defined_decls(t: ExprRef) → list[FuncDeclRef]

>>> x,y = smt.Ints("x y")
>>> f = kd.define("test_f", [x,y], x + y)
>>> g = smt.Function("g", smt.IntSort(), smt.IntSort())
>>> defined_decls(f(x,y) + g(1))
[test_f]

Parameters:

t (ExprRef)

Return type:

list[FuncDeclRef]