kdrag.utils.is_func

kdrag.utils.is_func(f: FuncRef) → bool

Check if a term is a function or an array.

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