Method no_pattern

lean_py/z3/core.py:874–876

Return the i-th no-pattern.

(self, i: int)

        return 0

    def no_pattern(self, i: int) -> ExprRef:
        """Return the i-th no-pattern."""
        raise IndexError("No no-patterns")


# ---------------------------------------------------------------------------