def ndarray_floating_point_divide(arg_type, ret_type): register_function("div", ( arg_type, tndarray(arg_type, NatVariable()), ), tndarray(ret_type, NatVariable())) register_function("div", (tndarray(arg_type, NatVariable()), arg_type), tndarray(ret_type, NatVariable())) register_function("div", (tndarray( arg_type, NatVariable()), tndarray(arg_type, NatVariable())), tndarray(ret_type, NatVariable()))
def visit_nat_variable(self, node, visited_children): return NatVariable()