Searched refs:implication_hook (Results 1 – 2 of 2) sorted by relevance
41 implication_hook *ranged;133 implication_hook *call_back, void *info) in return_implies_state()143 implication_hook *call_back, void *info) in return_implies_state_sval()
174 typedef void (implication_hook)(const char *fn, struct expression *call_expr, typedef191 implication_hook *call_back, void *info);193 implication_hook *call_back, void *info);