Searched refs:tnf_get_char (Results 1 – 4 of 4) sorted by relevance
66 tnf_get_char(tnf_datum_t datum) in tnf_get_char() function
184 char tnf_get_char(tnf_datum_t);
49 tnf_get_char;
246 (void) printf("%c", tnf_get_char(datum)); in describe_scalar()