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.