FiniteMap
Mappings keyed from arbitrary types
data
FiniteMap
key elt
Manipulating those mappings
emptyFM
unitFM
listToFM
addToFM
addToFM_C
addListToFM
addListToFM_C
delFromFM
delListFromFM
plusFM
plusFM_C
minusFM
foldFM
intersectFM
intersectFM_C
mapFM
filterFM
sizeFM
isEmptyFM
elemFM
lookupFM
lookupWithDefaultFM
fmToList
keysFM
eltsFM
bagToFM