bvToChar function

Expr bvToChar(
  1. Expr x
)

Implementation

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