bvRedOr function

UnaryOp bvRedOr(
  1. Expr x
)

Implementation

UnaryOp bvRedOr(Expr x) => UnaryOp(UnaryOpKind.bvRedOr, x).declare();