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