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 45 milliseconds