Data.Graph.Inductive.Internal.FiniteMap
data FiniteMap a b
emptyFM
addToFM
delFromFM
updFM
accumFM
splitFM
isEmptyFM
sizeFM
lookupFM
elemFM
rangeFM
minFM
maxFM
predFM
succFM
splitMinFM
fmToList