# Simple Type Checker for Rust.