Searched defs:t_new_lemma_eh (Results 1 – 2 of 2) sorted by relevance
36 typedef void (*t_new_lemma_eh)(void *state, expr *lemma, unsigned level); typedef
37 # util funcs38 'TEST_MODE',