kdrag.utils.range_

kdrag.utils.range_(f: FuncRef) → SortRef

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

Parameters:

f (FuncRef)

Return type:

SortRef