machine-code/compiler/reg_allocLib.sml

214     fun leaves (FUN_COND (_,t)) = leaves t
215       | leaves (FUN_LET (_,_,t)) = leaves t
216       | leaves (FUN_IF (_,t1,t2)) = leaves t1 @ leaves t2
217       | leaves (FUN_VAL tm) = [tm]
218     val bases = filter (not o can (match_term lhs)) (leaves (tm2ftree rhs))
278   fun leaves (FUN_COND (_,t)) = leaves t
279     | leaves (FUN_LET (_,_,t)) = leaves t
280     | leaves (FUN_IF (_,t1,t2)) = leaves t1 @ leaves t2
281     | leaves (FUN_VAL tm) = [tm]
282   val xs = append_lists (map free_vars (leaves t))