Method add_sort

lean_py/z3/solver.py:1135–1138

Add a sort to the parser context.

(self, sort: Any)

        self._decls: dict[str, Any] = {}

    def add_sort(self, sort: Any) -> None:
        """Add a sort to the parser context."""
        if hasattr(sort, "name"):
            self._sorts[sort.name()] = sort

    def add_decl(self, decl: Any) -> None:
        """Add a declaration to the parser context."""