Searched refs:revEnv (Results 1 – 7 of 7) sorted by relevance
574 traverseEnv add_InfixBasis (revEnv iBas)614 traverseEnv extend_VarEnv (revEnv VE)618 traverseEnv add_VarEnv (revEnv VE)622 traverseEnv add_TyEnv (revEnv TE)626 traverseEnv extend_TyEnv (revEnv TE)630 traverseEnv extend_ModEnv (revEnv ME)634 traverseEnv add_ModEnv (revEnv ME)638 traverseEnv extend_FunEnv (revEnv FE)642 traverseEnv add_FunEnv (revEnv FE)646 traverseEnv extend_SigEnv (revEnv GE)[all …]
194 fun revEnv env = revEnvAcc env NILenv; function240 traverseEnv (Hasht.insert hashenv) (revEnv env);
65 val revEnv : ('a, 'b) Env -> ('a, 'b) Env; value
575 traverseEnv add_InfixBasis (revEnv iBas)595 traverseEnv extend_VarEnv (revEnv VE)599 traverseEnv add_VarEnv (revEnv VE)603 traverseEnv add_TyEnv (revEnv TE)607 traverseEnv extend_TyEnv (revEnv TE)611 traverseEnv extend_ModEnv (revEnv ME)615 traverseEnv add_ModEnv (revEnv ME)619 traverseEnv extend_FunEnv (revEnv FE)623 traverseEnv add_FunEnv (revEnv FE)627 traverseEnv extend_SigEnv (revEnv GE)[all …]
289 revEnv = mapFoldlWithKey insertRev M.empty env function292 copyTo block = case M.lookup (entryLabel block) revEnv of