kdrag.utils.domain

kdrag.utils.domain(f: FuncRef) → list[SortRef]

Get the domain sorts of a lambda or an array.

>>> x = smt.Int("x")
>>> y = smt.Real("y")
>>> f = smt.Array("f", smt.IntSort(), smt.RealSort(), smt.IntSort())
>>> domain(f)
[Int, Real]
>>> lam = smt.Lambda([x, y], x + y)
>>> domain(lam)
[Int, Real]

Parameters:

f (FuncRef)

Return type:

list[SortRef]