Method __init__

lean_py/z3/core.py:287–295

(
        self,
        ast: ASTNode,
        sort: SortRef,
        vars: frozenset[tuple[str, ASTSort]] = frozenset(),
    )

    __slots__ = ("_ast", "_sort", "_vars")

    def __init__(
        self,
        ast: ASTNode,
        sort: SortRef,
        vars: frozenset[tuple[str, ASTSort]] = frozenset(),
    ) -> None:
        self._ast = ast
        self._sort = sort
        self._vars = vars

    def sort(self) -> SortRef:
        return self._sort