ну это просто либа, которая дает оч удобное апи для конструирования графов, и работы с ними, а конкретно первый модуль это модуль с интерфейсом для графов, у которых ребра помечены чем-то (числом например как у тебя), а второй модуль это конкретный инстанс для Map vertex (Map vertex edge) в твоем случае Map String (Map String Int)