Changeset 12796
- Timestamp:
- 07.11.2009 10:13:23 (2 weeks ago)
- Files:
-
- 1 modified
-
trunk/CASL/Sign.hs (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
trunk/CASL/Sign.hs
r12762 r12796 247 247 248 248 addOpMapSet :: OpMap -> OpMap -> OpMap 249 addOpMapSet m = Map.map (rmOrAddParts True) . addMapSet m249 addOpMapSet m = Map.map (rmOrAddParts True) . addMapSet m 250 250 251 251 interMapSet :: (Ord a, Ord b) => Map.Map a (Set.Set b) -> Map.Map a (Set.Set b)