Core_map_intf.Key_binable