class_docstr: Integer arithmetic analyzer
  
  This is a stateful analyzer class that can
  be used to perform various symbolic integer analysis.
class_docstr_tok: ["Integer","arithmetic","analyzer","This","is","a","stateful","analyzer","class","that","can","be","used","to","perform","various","symbolic","integer","analysis","."]
docstr: Bind a variable to the expression.
  
  Parameters
  ----------
  var : tvm.tir.Var
      The variable.
  
  expr : Union[tir.PrimExpr, ir.Range]
      The expression or the range to bind to.
docstr_tok: ["Bind","a","variable","to","the","expression",".","Parameters","--","--","--","--","--","var",":","tvm.tir.Var","The","variable",".","expr",":","Union","[","tir.PrimExpr",",","ir.Range","]","The","expression","or","the","range","to","bind","to","."]
code: def bind(self, var: tir.Var, expr: Union[tir.PrimExpr, ir.Range]):
      """Bind a variable to the expression.
  
      Parameters
      ----------
      var : tvm.tir.Var
          The variable.
  
      expr : Union[tir.PrimExpr, ir.Range]
          The expression or the range to bind to.
      """
      return self._bind(var, expr)
  
imports: from enum import IntEnum
  from typing import Union
  import tvm._ffi
  from tvm import tir, ir
  from tvm.runtime import Object
  from .None import _ffi_api
label_desc: Use image node_id 11 for calling the Analyzer obj's underlying member method code with example usage: obj.bind(var, expr) and returns: self