Module State_eliminationSource

Sourcemodule type Regex = sig ... end
Sourcemodule type NFA = sig ... end
Sourcemodule Convert (Regex : Regex) (NFA : NFA with type label := Regex.t) : sig ... end
Sourceval convert : (module Regex with type t = 'regex) -> (module NFA with type label = 'regex and type Finals.n = 'finals and type Initials.n = 'initials) -> ('initials, ('finals Strong.Finite.elt * 'regex list) list) Strong.Finite.Array.t