Searched defs:extendModuleEnv (Results 1 – 4 of 4) sorted by relevance
88 extendModuleEnv (ModuleEnv e) m x = ModuleEnv (Map.insert (NDModule m) x e) function
1197 extendModuleEnv (ModuleEnv e) m x = ModuleEnv (Map.insert (NDModule m) x e) function