Searched defs:walk_combine (Results 1 – 1 of 1) sorted by relevance
182 def walk_combine(self, formula, args, **kwargs): member in TheoryOracle492 def walk_combine(self, formula, args, **kwargs): member in TypesOracle