parameters: (a)
return_statement: return is_app_of(a, Z3_OP_GT)
docstring: Return `True` if `a` is an expression of the form b > c.
  
      >>> x, y = Ints('x y')
      >>> is_gt(x > y)
      True
      >>> is_gt(x == y)
      False
docstring_summary: Return `True` if `a` is an expression of the form b > c.
docstring_tokens: Return True if a is an expression of the form b > c .
function: def is_gt(a):
      """Return `True` if `a` is an expression of the form b > c.
  
      >>> x, y = Ints('x y')
      >>> is_gt(x > y)
      True
      >>> is_gt(x == y)
      False
      """
      return is_app_of(a, Z3_OP_GT)
function_tokens: def is_gt ( a ) : return is_app_of ( a , Z3_OP_GT )