Now that we have seen a fair amount of Rust, today will focus on Rust's type system:
{{%session outline}}