Lines Matching defs:join
30 join exit x = t (x*x) function
289 join exit x = x function
303 join exit x = x+x function
330 join exit x y = jump j (x+z) function
338 join j p = case p of (x,y) -> x+y function
347 join j p = case p of (x,y) -> x+y function
348 join exit x y = jump j (x,y) function
357 join j y = map f y function
367 join j y = map f y function
368 join exit x = jump j (map g x) function
382 join exit x = t (x*x) function
387 join exit x = t (x*x) function
388 join exit' x = jump exit x function
422 join exit x = t (x*x) function
441 join j1 x = x+1 function
442 join j2 y = join j1 (y+2) function