Searched refs:item_separator (Results 1 – 5 of 5) sorted by relevance
42 const char *item_separator = ", "; in mp_obj_tuple_print() local46 item_separator = MP_PRINT_GET_EXT(print)->item_separator; in mp_obj_tuple_print()54 mp_print_str(print, item_separator); in mp_obj_tuple_print()
57 const char *item_separator; member
72 const char *item_separator = ", "; in dict_print() local78 item_separator = MP_PRINT_GET_EXT(print)->item_separator; in dict_print()90 mp_print_str(print, item_separator); in dict_print()
47 const char *item_separator = ", "; in list_print() local52 item_separator = MP_PRINT_GET_EXT(print)->item_separator; in list_print()58 mp_print_str(print, item_separator); in list_print()
56 print_ext.item_separator = ", "; in mod_ujson_dump_helper()61 print_ext.item_separator = mp_obj_str_get_str(items[0]); in mod_ujson_dump_helper()
Completed in 22 milliseconds