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: Whether we can prove that lhs == rhs
  
  Parameters
  ----------
  lhs: PrimExpr
      The left-hand side of the comparison
  
  rhs: PrimExpr
      The right-hand side of the comparison
  
  Returns
  -------
  result: bool
      Whether we can prove that lhs == rhs
docstr_tok: ["Whether","we","can","prove","that","lhs","==","rhs","Parameters","--","--","--","--","--","lhs",":","PrimExpr","The","left-hand","side","of","the","comparison","rhs",":","PrimExpr","The","right-hand","side","of","the","comparison","Returns","--","--","--","-","result",":","bool","Whether","we","can","prove","that","lhs","==","rhs"]
code: def can_prove_equal(self, lhs: "PrimExpr", rhs: "PrimExpr"):
      """Whether we can prove that lhs == rhs
  
      Parameters
      ----------
      lhs: PrimExpr
          The left-hand side of the comparison
  
      rhs: PrimExpr
          The right-hand side of the comparison
  
      Returns
      -------
      result: bool
          Whether we can prove that lhs == rhs
      """
      return self._can_prove_equal(lhs, rhs)
  
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 14 for calling the Analyzer obj's underlying member method code with example usage: obj.can_prove_equal(lhs, rhs) and returns: self