Module Pxp_dfa.VertexSet


module VertexSet: Set.S  with type elt = Graph.vertex