module Pxp_dfa:A directed graph whose edges are marked with strings (= element types) and with the constraint that for a given vertex and a given element type the edge must be unique.sig
..end
module Graph:sig
..end
module VertexSet:Set.S
with type elt = Graph.vertex
type
dfa_definition = {
|
dfa_graph : |
|
dfa_start : |
|
dfa_stops : |
|
dfa_null : |
val dfa_of_regexp_content_model : Pxp_core_types.regexp_spec -> dfa_definition