Method serialize

lean_py/z3/core.py:384–386

Serialize expression to string.

(self)

        return id(self._ast)

    def serialize(self) -> str:
        """Serialize expression to string."""
        return _ast_repr(self._ast)


class DatatypeRef(ExprRef):