Searched refs:do_clauses_transform (Results 1 - 1 of 1) sorted by relevance
/seL4-l4v-10.1.1/l4v/tools/haskell-translator/ |
H A D | lhs_pars.py | 1465 (line, children) = do_clauses_transform((line, children), sig) 1614 children = [do_clauses_transform( 1673 def do_clauses_transform(xxx_todo_changeme3, rawsig, type=None): function 1677 where_clause = [do_clauses_transform( 1680 others = do_clauses_transform(others, rawsig, type) 1704 children = [do_clauses_transform(elt, 1710 children = [do_clauses_transform(elt, 1715 children = [do_clauses_transform(elt,
|
Completed in 27 milliseconds