Module Automaton.Make.T

module T: Alphabet.Map(Alphabet.Prod(Automaton.State)(X))(States)

module M: Stdlib.Map.Make(A)

type t = B.t M.t 

val empty : t

val app : t -> A.t -> B.t

val add : 'a M.t -> M.key -> 'a -> 'a M.t

val iter : (M.key -> 'a -> unit) -> 'a M.t -> unit