Module Nfa.StateSet


module StateSet: Set.Make(sig
type t = Nfa.state 
val compare : 'a -> 'a -> int
end)