def choose_result_int(*inputs):
 bitwidth = choose_result_bitwidth(*inputs)
 signed = any((tp.signed for tp in inputs))
 return types.Integer.from_bitwidth(bitwidth, signed)

def choose_result_int ( * inputs ) : bitwidth = choose_result_bitwidth ( * inputs ) signed = any ( ( tp . signed for tp in inputs ) ) return types . Integer . from_bitwidth ( bitwidth , signed )
choose the integer result type for an operation on integer inputs .