Method __init__

lean_py/z3/core.py:261–264

(self, domain: SortRef, range_sort: SortRef)

    __slots__ = ("_domain", "_range")

    def __init__(self, domain: SortRef, range_sort: SortRef) -> None:
        super().__init__(ArrowASTSort(domain._ast_sort, range_sort._ast_sort))
        self._domain = domain
        self._range = range_sort

    def domain(self) -> SortRef:
        return self._domain