keddad

> Почему я должен писать тут Empty, если компилируется и без этого?

Само перечисление без Elem компилируется, но вот сконструировать реальный список без завершающего пустого узла не выйдет, потому что он должен был бы быть бесконечным.

> Что такое Elem?

Это один из вариантов объявляемого перечисления List, который содержит два безымянных поля понятно каких типов.

> Я не обьявлял ее дополнительно и не нашел ее упоминания в документации, но оно работает.

Это просто простейший синтаксис перечислений (enum'ов), который в любом учебнике по расту описывается, например в растбуке: https://doc.rust-lang.org/book/ch06-01-defining-an...

mod - это объявление дочернего модуля/пространства имен
Есть 2 способа объявления - через блок и через отдельный файл:

// через блок
mod some_module {
  // тут изолированное пространство имен
  pub fn hello() {
    println!("Hello world");
  }
}
fn main() {
  some_module::hello(); // Hello world
}

// подключаем модуль из файла ./some_other_module/mod.rs или ./some_other_module.rs
mod some_other_module;

так же через оператор pub можно делать реэкспорт модуля целиком, делая тем самым структуру пространств имен Вашего крэйта

Можно делать ввод и проверку в одном цикле с ресайзом, не нужно будет ещё два раза проходить.
Так-же вы проходы делаете по строкам при проверке, а не столбцам