kdrag.ComplexSort

kdrag.ComplexSort() → DatatypeSortRef

>>> C = ComplexSort()
>>> z, w = smt.Consts("z w", C)
>>> full_simp(J + J)
C(0, 2)
>>> full_simp(J * J)
C(-1, 0)
>>> full_simp(J / J)
C(1, 0)