Method basis

lean_py/z3/core.py:3864–3866

Return the element sort.

(self)

        self._elem = elem

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

    def is_string(self) -> bool:
        """True if this is Seq(Char), i.e. String."""