Searched defs:child_iter (Results 1 – 2 of 2) sorted by relevance
667 auto child_iter = agenda.end() - node.arity; in ToString() local
362 def __init__(self, child_iter, input_type_desc, argument