Searched defs:induction_term_and_position_t (Results 1 – 1 of 1) sorted by relevance
60 struct induction_term_and_position_t { struct64 induction_term_and_position_t(): m_term(nullptr) {} in induction_term_and_position_t() argument65 induction_term_and_position_t(expr* t, induction_positions_t const& p): in induction_term_and_position_t() function