# Module `Fix.GraphNumbering`

`GraphNumbering`

offers a facility for discovering and numbering the reachable vertices in a finite directed graph.

`module Make : functor (M : Fix__.Sigs.IMPERATIVE_MAPS) -> functor (G : Fix__.Sigs.GRAPH with type t = M.key) -> Fix__.Sigs.NUMBERING with type t = G.t`

`module ForOrderedType : functor (T : Fix__.Sigs.OrderedType) -> functor (G : Fix__.Sigs.GRAPH with type t = T.t) -> Fix__.Sigs.NUMBERING with type t = G.t`

`module ForHashedType : functor (T : Fix__.Sigs.HashedType) -> functor (G : Fix__.Sigs.GRAPH with type t = T.t) -> Fix__.Sigs.NUMBERING with type t = G.t`

`module ForType : functor (T : Fix__.Sigs.TYPE) -> functor (G : Fix__.Sigs.GRAPH with type t = T.t) -> Fix__.Sigs.NUMBERING with type t = G.t`