Searched defs:learn_implications (Results 1 – 1 of 1) sorted by relevance
427 learn_implications (tree parent, tree constr, implication_context cxt) in learn_implications() function454 learn_implications (tree tmpl, tree args, tree constr) in learn_implications() function