Core_hashtbl.Key_binable