Searched refs:YICES_FORALL_TERM (Results 1 – 2 of 2) sorted by relevance
150 YICES_FORALL_TERM, // quantifier enumerator
156 YICES_FORALL_TERM, // FORALL_TERM