kdrag.notation.NewType

kdrag.notation.NewType(name: str, sort: SortRef, pred=None) → DatatypeSortRef

Minimal wrapper around a sort for sort based overloading