Searched defs:pl_format_time (Results 1 – 4 of 4) sorted by relevance
/dports/lang/yap/yap-6.2.2/packages/tai/ |
H A D | pl-tai.c | 853 pl_format_time(term_t out, term_t format, term_t time, int posix) in pl_format_time() function
|
/dports/lang/swi-pl/swipl-8.2.3/src/os/ |
H A D | pl-tai.c | 959 pl_format_time(term_t out, term_t format, term_t time, int posix) in pl_format_time() function
|
/dports/audio/deadbeef/deadbeef-0.7.2/ |
H A D | playlist.c | 2833 pl_format_time (float t, char *dur, int size) { in pl_format_time() function
|
H A D | deadbeef.h | 866 void (*pl_format_time) (float t, char *dur, int size); member
|