Searched refs:splitList (Results 1 - 1 of 1) sorted by relevance
/seL4-l4v-10.1.1/l4v/tools/haskell-translator/ | ||
H A D | lhs_pars.py | 87 def splitList(list, pred): function 2296 input = ("\\n".join(lines) for lines in splitList(input, lambda s: s == '')) |
Completed in 41 milliseconds