Searched refs:delete_fun_t (Results 1 – 1 of 1) sorted by relevance
70 typedef void (*delete_fun_t)(void *solver); typedef90 delete_fun_t delete;