Searched refs:witness_comp_t (Results 1 – 2 of 2) sorted by relevance
7 typedef int witness_comp_t (const witness_t *, const witness_t *); typedef63 witness_comp_t *comp;74 witness_comp_t *comp);
6 witness_comp_t *comp) in witness_init()