Searched refs:yices_pp_term_array_fd (Results 1 – 2 of 2) sorted by relevance
4417 __YICES_DLLSPEC__ extern int32_t yices_pp_term_array_fd(int fd, uint32_t n, const term_t a[],
6322 EXPORTED int32_t yices_pp_term_array_fd(int fd, uint32_t n, const term_t a[], uint32_t width, uint3… in yices_pp_term_array_fd() function