Lines Matching refs:leaves
1397 fun leaves (FUN_VAL tm) f = FUN_VAL (f tm)
1398 | leaves (FUN_COND (c,t)) f = FUN_COND (c, leaves t f)
1399 | leaves (FUN_IF (a,b,c)) f = FUN_IF (a, leaves b f, leaves c f)
1400 | leaves (FUN_LET (v,y,t)) f = FUN_LET (v, y, leaves t f)
1596 free_vars o rm_pc o ftree2tm o leaves t)
1600 free_vars o rm_pc o ftree2tm o leaves t)
1624 mk_pabs(x_in,ftree2tm (leaves t (fn x =>