Searched defs:is_b_pure (Results 1 – 4 of 4) sorted by relevance
34 bool is_b_pure (proof *p) { in is_b_pure() function
58 bool is_b_pure(proof *pr) { return m_pr.is_b_pure(pr);} in is_b_pure() function