Method __init__

lean_py/z3/core.py:3860–3862

(self, elem: SortRef)

    __slots__ = ("_elem",)

    def __init__(self, elem: SortRef) -> None:
        super().__init__(SeqASTSort(elem._ast_sort))
        self._elem = elem

    def basis(self) -> SortRef:
        """Return the element sort."""