Module ID.Map

module Map: CCMap.S  with type key = t