Lines Matching defs:x1
120 | lets ((x1,x2)::xs,y) = FUN_LET (x1,x2,lets (xs,y))
239 | lets ((x1,x2)::xs) y = FUN_LET (x1,x2,lets xs y)
272 | vars (FUN_IF (tm,x1,x2)) = all_distinct (free_vars tm @ vars x1 @ vars x2)
300 | live (FUN_IF (tm,x1,x2)) = let
301 val (ls1,y1) = live x1
316 | collect (FUN_IF (tm,x1,x2)) = collect x1 @ collect x2
320 val (x1,x2) = dest_eq tm
321 in (f x1, f x2) :: collect t end
324 | clash ((x1,x2)::xs) y z =
325 (tmem y x1 andalso tmem z x1) orelse
326 (tmem y x1 andalso tmem z x2) orelse
327 (tmem y x2 andalso tmem z x1) orelse clash xs y z
396 val moves2 = sort (fn (x1,x2) => fn (y1,y2) => busy x1 + busy x2 >= busy y1 + busy y2) moves2
458 | is_rec (FUN_IF (tm,x1,x2)) = is_rec x1 orelse is_rec x2
466 | count v (FUN_IF (tm,x1,x2)) s = count v x1 (count v x2 (occ v tm s))