package z3

  1. Overview
  2. Docs
val to_upper : Expr.expr -> int -> Expr.expr
val to_lower : Expr.expr -> int -> Expr.expr
val to_decimal_string : Expr.expr -> int -> string
val numeral_to_string : Expr.expr -> string