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

/seL4-l4v-10.1.1/graph-refine/
H A Dlogic.py12 from syntax import foldr1 namespace
H A Dpseudo_compile.py23 from syntax import fresh_name, foldr1 namespace
H A Dstack_logic.py946 from syntax import mk_not, mk_and, foldr1 namespace
H A Dsyntax.py1403 def foldr1 (f, xs): function

Completed in 78 milliseconds