Module type Hmap.KEY_INFO