Method __bool__

lean_py/z3/core.py:334–335

(self)

        return hash(self._ast)

    def __bool__(self) -> bool:
        raise TypeError("Symbolic expressions cannot be cast to concrete Boolean values")

    def num_args(self) -> int:
        """Number of arguments (children) of this expression."""