kdrag.tele.subsort_domain

kdrag.tele.subsort_domain(T: SubSort) → SortRef

Get the domain sort of a SubSort, which is either an ArrayRef or a QuantifierRef.

>>> T = smt.Array("T", smt.IntSort(), smt.BoolSort())
>>> subsort_domain(T)
Int
>>> x = smt.Int("x")
>>> subsort_domain(smt.Lambda([x], x > 0))
Int