Method as_string

lean_py/z3/core.py:3203–3204

(self)

    __slots__ = ()

    def as_string(self) -> str:
        return repr(self)

    def isNaN(self) -> bool:
        if isinstance(self._ast, FpLitNode):