Lines Matching refs:exp
150 fun last_exp exp =
151 if is_let exp then
152 last_exp (#3 (dest_plet exp))
153 else exp;
160 fun subst_exp rule exp =
161 if is_plet exp then
162 let val (v, M, N) = dest_plet exp
166 else if is_cond exp then
167 let val (c,t,f) = dest_cond exp
171 else if is_pair exp then
172 let val (t1,t2) = dest_pair exp
175 else subst rule exp