Module Name.Map


module Map: sig  end
Maps with names in the domain.