Lines Matching refs:apply
63 empty v => apply G k input (SOME v::results)
65 [] => apply G fk input results
66 | h::t => apply G k t (SOME (tf h)::results))
68 [] => apply G fk input results
69 | x::xs => if x = t then apply G k xs (SOME v::results)
70 else apply G fk input results)
87 and apply G (k:(''i,'v)kont) input (results:'v option list) =
92 | applyf(f, k) => apply G k input (f results)
93 | returnTo(i,r,k) => apply G k i r
96 | poplist(f,k) => apply G k input (poplistval f results : 'v option list)