Searched refs:vtbl_pp_fun_name (Results 1 – 1 of 1) sorted by relevance
374 static void vtbl_pp_fun_name(yices_pp_t *printer, value_t c, value_fun_t *fun) { in vtbl_pp_fun_name() function468 vtbl_pp_fun_name(printer, c, table->desc[c].ptr); in vtbl_pp_object()524 vtbl_pp_fun_name(printer, c, fun); in vtbl_pp_function()