Function is_sort

lean_py/z3/core.py:2551–2553

True if a is a sort reference.

(a: object)

def is_sort(a: object) -> bool:
    """True if a is a sort reference."""
    return isinstance(a, SortRef)


def is_app(a: object) -> bool: