parameters: (val, ctx=None)
return_statement: return IntNumRef(Z3_mk_numeral(ctx.ref(), _to_int_str(val), IntSort(ctx).ast), ctx)
docstring: Return a Z3 integer value. If `ctx=None`, then the global context is used.
  
      >>> IntVal(1)
      1
      >>> IntVal("100")
      100
docstring_summary: Return a Z3 integer value. If `ctx=None`, then the global context is used.
docstring_tokens: Return a Z3 integer value . If ctx = None then the global context is used .
function: def IntVal(val, ctx=None):
      """Return a Z3 integer value. If `ctx=None`, then the global context is used.
  
      >>> IntVal(1)
      1
      >>> IntVal("100")
      100
      """
      ctx = _get_ctx(ctx)
      return IntNumRef(Z3_mk_numeral(ctx.ref(), _to_int_str(val), IntSort(ctx).ast), ctx)
function_tokens: def IntVal ( val , ctx = None ) : ctx = _get_ctx ( ctx ) return IntNumRef ( Z3_mk_numeral ( ctx . ref ( ) , _to_int_str ( val ) , IntSort ( ctx ) . ast ) , ctx )