Lines Matching defs:pref
334 fun pref (FUN_COND (_,t)) = pref t335 | pref (FUN_IF (_,t1,t2)) = pref t1 @ pref t2336 | pref (FUN_VAL tm) = []337 | pref (FUN_LET (x,y,t)) =338 if is_var x andalso is_var y then (x,y)::pref t else pref t339 val moves = append_lists (map (pref o snd) ts)