ubvToStr function

Expr ubvToStr(
  1. Expr x
)

Implementation

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