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

/seL4-l4v-10.1.1/l4v/tools/haskell-translator/
H A Dlhs_pars.py358 def wrap_qualify(lines, deep=True): function
390 L.extend(wrap_qualify(flatten_tree(d.instance_proofs)))
399 instance_proofs = wrap_qualify(flatten_tree(d.instance_proofs))

Completed in 45 milliseconds