Lines Matching refs:leaves
76 fun leaves (FUN_VAL tm) f = FUN_VAL (f tm)
77 | leaves (FUN_COND (c,t)) f = FUN_COND (c, leaves t f)
78 | leaves (FUN_IF (a,b,c)) f = FUN_IF (a, leaves b f, leaves c f)
79 | leaves (FUN_LET (v,y,t)) f = FUN_LET (v, y, leaves t f)
101 fun leaves_inl body f1 f2 = ftree2tm (leaves (tm2ftree body) (fn tm =>
145 val pre_tm = ftree2tm (leaves (tm2ftree y) (fn tm =>