Method pattern

lean_py/z3/core.py:866–868

Return the i-th pattern.

(self, i: int)

        return 0

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

    def num_no_patterns(self) -> int:
        """Return number of no-patterns (0)."""