ord -package:sbv -package:leancheck -package:cabal-install-solver 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.