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