StrMap.E
type t = string
val compare : string -> string -> string OrderedType.coq_Compare
val eq_dec : string -> string -> bool