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

/seL4-l4v-10.1.1/l4v/tools/haskell-translator/
H A Dlhs_pars.py2797 return [subst_module_redirects(line, call) for line in lines]
2800 def subst_module_redirects(line, call): function
2807 after = subst_module_redirects(after, call)

Completed in 28 milliseconds