Searched refs:flatten_tree (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/l4v/tools/haskell-translator/
H A Dlhs_pars.py251 def flatten_tree(tree): function
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(
[all...]
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A DtestACL2encoding.ml288 translate_simple_function [(``FLATTEN_TREE``,"flatten_tree")],
574 [(``FLATTEN_TREE``,"flatten_tree")]
H A Dtutorial.ml672 [(``FLATTEN_TREE``,"flatten_tree")]
678 (* |- flatten_tree arg = *)
681 (* (append (flatten_tree (car (cdr arg))) *)
682 (* (flatten_tree (cdr (cdr arg))))) nil : thm *)

Completed in 37 milliseconds