да, оно. я нашел первый пакет, и даже успел небольшую обертку запилить, чтоб как в мапе ассоциированые значения хранить. а во втором, получается, уже готовый мап есть, спасибо
подскажите, разве нельзя изменить длину мутабельного вектора (MVector) на месте? там есть grow который возвращает новый вектор. Я проверил, старый остаётся старого размера. Что ж это за мутабельный вектор такой, если его нельзя рисайзнуть...