(module Multi_map)