Method __init__

lean_py/z3/solver.py:990–991

(self)

    """A single entry in a function interpretation."""

    def __init__(self) -> None:
        pass

    def num_args(self) -> int:
        return 0