Searched defs:bindersOfBinds (Results 1 – 4 of 4) sorted by relevance
1855 bindersOfBinds binds = foldr ((++) . bindersOf) [] binds function
2124 bindersOfBinds binds = foldr ((++) . bindersOf) [] binds function
2111 bindersOfBinds binds = foldr ((++) . bindersOf) [] binds function