Module Aux.StrMap

module StrMap: Map.S  with type key = string