Index - S

SetData.Set.Base
setSplit2Dpfs.DavisPutnamFiniteSets
setToIntDpfs.DavisPutnamFiniteSets
shiftLLData.IntMap.Base
shiftRLData.IntMap.Base
shorterData.IntMap.Base
showTree 
1 (Function)Data.Set.Base
2 (Function)Data.IntSet.Base, Data.IntSet
3 (Function)Data.IntMap.Base, Data.IntMap.Strict
4 (Function)Data.Map.Base, Data.Map.Strict
showTreeWith 
1 (Function)Data.Set.Base
2 (Function)Data.IntSet.Base, Data.IntSet
3 (Function)Data.IntMap.Base, Data.IntMap.Strict
4 (Function)Data.Map.Base, Data.Map.Strict
showVarDpfs.Simp
singleton 
1 (Function)Data.Set.Base
2 (Function)Data.IntSet.Base, Data.IntSet
3 (Function)Data.IntMap.Base
4 (Function)Data.Map.Base
5 (Function)Data.Map.Strict
6 (Function)Data.IntMap.Strict
size 
1 (Function)Data.Set.Base
2 (Function)Data.IntSet.Base, Data.IntSet
3 (Function)Data.IntMap.Base, Data.IntMap.Strict
4 (Function)Data.Map.Base, Data.Map.Strict
split 
1 (Function)Data.Set.Base
2 (Function)Data.IntSet.Base, Data.IntSet
3 (Function)Data.IntMap.Base, Data.IntMap.Strict
4 (Function)Data.Map.Base, Data.Map.Strict
splitLookup 
1 (Function)Data.IntMap.Base, Data.IntMap.Strict
2 (Function)Data.Map.Base, Data.Map.Strict
splitMember 
1 (Function)Data.Set.Base
2 (Function)Data.IntSet.Base, Data.IntSet
strictPairData.StrictPair
substituteSimilarUnitsDpfs.DavisPutnamFiniteSets
suffixBitMaskData.IntSet.Base