charToBv function

Expr charToBv(
  1. Expr x
)

Implementation

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