kdrag.hypothesis.sort_occurs

kdrag.hypothesis.sort_occurs(s, s2, visited=None)

Check if a sort occurs in the datatype.

>>> import kdrag.theories.list as list
>>> sort_occurs(smt.IntSort(), list.List(smt.IntSort()).T)
True
>>> sort_occurs(smt.IntSort(), list.List(smt.BoolSort()).T)
False
>>> sort_occurs(smt.IntSort(), smt.IntSort())
True