Searched defs:plusAnnEnv (Results 1 – 4 of 4) sorted by relevance
109 plusAnnEnv (MkAnnEnv env1) (MkAnnEnv env2) = MkAnnEnv $ plusUFM_C (++) env1 env2 function
104 plusAnnEnv a b = function