kdrag.smt.is_func

kdrag.smt.is_func(f: ExprRef) → TypeGuard[ArrayRef | QuantifierRef]

Check if a term is a function or an array.

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