Lines Matching defs:env
168 fun peek_fname f_str env =
169 case M.peek(env, f_str) of
177 fun trav_exp t env =
186 val body_imap = trav_exp body env
187 val env' = M.insert(M.mkDict strOrder, f_str, v)
188 val N_imap = trav_exp N env'
195 union_imap (trav_exp M env) (trav_exp N env)
199 union_imap (trav_exp J env)
200 (union_imap (trav_exp M env) (trav_exp N env))
204 union_imap (trav_exp M env) (trav_exp N env)
208 trav_exp N env
214 union_imap (examine_type (type_of M)) (trav_exp N env)
217 val fname = valOf (peek_fname fstr env)
219 val imap = trav_exp N env
225 union_imap (trav_exp M env) (trav_exp N env)
237 let val env = M.mkDict strOrder
240 val body_imap = trav_exp f_body env