Searched refs:body_transform (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-10.1.1/l4v/tools/haskell-translator/ |
| H A D | lhs_pars.py | 354 d.body = body_transform(d.body, d.defined, d.sig)
1418 def body_transform(body, defined, sig, nopattern=False): function
2563 [(l, c)] = body_transform([(l, c)], defn, sig, nopattern=True)
|
Completed in 40 milliseconds