sig
  type t
  type 'a map
  val map : (Cf_dfa.Symbol_T.t -> 'a) -> 'Cf_dfa.Symbol_T.map
  val get : 'Cf_dfa.Symbol_T.map -> Cf_dfa.Symbol_T.t -> 'a
end