mk_char method

Z3_ast mk_char(
  1. Z3_context c,
  2. int ch
)

\brief Create a character literal def_API('Z3_mk_char', AST, (_in(CONTEXT), _in(UINT)))

Implementation

Z3_ast mk_char(
  Z3_context c,
  int ch,
) {
  return _mk_char(
    c,
    ch,
  );
}