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

/seL4-l4v-10.1.1/l4v/tools/haskell-translator/
H A Dlhs_pars.py1465 (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