Method register_relation

lean_py/z3/solver.py:881–884

(self, *decls: Any)

    # -- declarations --------------------------------------------------------

    def register_relation(self, *decls: Any) -> None:
        for d in decls:
            if isinstance(d, FuncDeclRef):
                self._decls.append(d)

    def declare_var(self, *args: Any) -> None:
        for v in args: