Method __init__

lean_py/z3/core.py:126–127

(self, ast_sort: ASTSort)

    __slots__ = ("_ast_sort",)

    def __init__(self, ast_sort: ASTSort) -> None:
        self._ast_sort = ast_sort

    def __repr__(self) -> str:
        return _sort_repr(self._ast_sort)