Module MrMime_header.Map

module Map: module type of Map.Make(String)