kdrag.smt.is_func

kdrag.smt.is_func(f: ExprRef) → bool

Check if a term is a function or an array.

>>> x = Int("x")
>>> assert is_func(Lambda([x], x))