Method add_decl

lean_py/z3/solver.py:1140–1143

Add a declaration to the parser context.

(self, decl: Any)

            self._sorts[sort.name()] = sort

    def add_decl(self, decl: Any) -> None:
        """Add a declaration to the parser context."""
        if hasattr(decl, "name"):
            self._decls[decl.name()] = decl

    def from_string(self, s: str) -> list:
        """Parse SMT-LIB2 string (not supported)."""