Core_hashtbl_intf.Key_binable