code: def signed_gt(a, b):
      
      a, b = match_bitwidth(as_wires(a), as_wires(b), signed=True)
      r = b - a
      return r[-1] ^ (~a[-1]) ^ (~b[-1])
docs: Return a single bit result of signed greater than comparison.