Searched defs:m_num_axiom2a (Results 1 – 2 of 2) sorted by relevance
28 … unsigned m_num_axiom1, m_num_axiom2a, m_num_axiom2b, m_num_extensionality, m_num_eq_splits; member