Method fact

lean_py/z3/solver.py:930–931

(self, head: Any, name: str | None = None)

        self.add_rule(head, body, name)

    def fact(self, head: Any, name: str | None = None) -> None:
        self.add_rule(head, None, name)

    # -- query ---------------------------------------------------------------