bvOr function

BinaryOp bvOr(
  1. Expr x,
  2. Expr y
)

Implementation

BinaryOp bvOr(Expr x, Expr y) => BinaryOp(BinaryOpKind.bvOr, x, y).declare();