Lines Matching refs:flatten_tree
251 def flatten_tree(tree):
257 result.extend(flatten_tree(children))
379 L.extend(flatten_tree(d.comments))
384 L.extend(flatten_tree([d.sig]))
386 L.extend(flatten_tree(d.body))
388 L.extend(flatten_tree(d.body))
390 L.extend(wrap_qualify(flatten_tree(d.instance_proofs)))
393 L.extend(flatten_tree(d.instance_extras))
399 instance_proofs = wrap_qualify(flatten_tree(d.instance_proofs))
404 instance_extras = flatten_tree(d.instance_extras)
417 typesig = flatten_tree([d.sig])
420 body = flatten_tree(d.body)
1090 body = flatten_tree(defs['objBits'].body)
1103 body = flatten_tree(defs['makeObject'].body)
1113 extradefs.extend(flatten_tree(defs['loadObject'].body))
1124 body = flatten_tree(defs['updateObject'].body)
1158 body = flatten_tree(defs['objBits'].body)
1171 body = flatten_tree(defs['makeObject'].body)
1181 extradefs.extend(flatten_tree(defs['loadObject'].body))
1192 body = flatten_tree(defs['updateObject'].body)
1695 sig = ' '.join(flatten_tree([rawsig]))
2697 # lines = ['(* body of %s *)' % fn, line] + flatten_tree (children)
2698 lines = [line] + flatten_tree(children)