Examples using... constant.Bool
Recent
UnaryOp returns the result of the unary expression op y.
The operation must be defined for the operand.
If prec > 0 it specifies the ^ (xor) result size in bits.
If y is Unknown, the result is Unknown.