module V: Graph.Sig.VERTEX with type t = State.t and type label = State.t
Graph.Sig.VERTEX
with type t = State.t and type label = State.t