ord -package:sbv -package:BNFC-meta -package:first-class-families -package:Cabal-syntax package:ghc
The number of nodes in the graph. An alias for
noNodes.
Remove duplicates but keep elements in order. O(n * log n)
Remove duplicates but keep elements in order. O(n * log n)
OrdGr comes equipped with an Ord instance, so that graphs can be used
as e.g. Map keys.