Searched defs:foldr1 (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-master/graph-refine/
H A Dpseudo_compile.py21 from syntax import fresh_name, foldr1 namespace
H A Dstack_logic.py944 from syntax import mk_not, mk_and, foldr1 namespace
H A Dlogic.py10 from syntax import foldr1 namespace
H A Dsyntax.py1405 def foldr1 (f, xs): function

Completed in 51 milliseconds