module Automaton: sig .. end
sig
end
Automata.
module Regexp: functor (X : Alphabet.T) -> sig .. end
functor (
X
:
Alphabet.T
) ->
Regular expressions.
module State: Alphabet.Int
Alphabet.Int
module Make: functor (X : Alphabet.T) -> sig .. end