Searched refs:new_term_t (Results 1 – 1 of 1) sorted by relevance
42 typedef std::pair<Ex, std::vector<Ex> > new_term_t; in apply() typedef43 std::vector<new_term_t> new_terms; in apply()141 new_term_t nt(collector, v); in apply()