Previous
Up
Module
Pxp_dfa.VertexSet
module
VertexSet:
Set.S
with type elt = Graph.vertex