code: def UGT(a: BitVec, b: BitVec) -> Bool:
      
      return _comparison_helper(a, b, z3.UGT, default_value=False, inputs_equal=False)
docs: Create an unsigned greater than expression.
  
      :param a:
      :param b:
      :return: