Pattern matching and exhaustiveness checking algorithms implemented in Rust - View it on GitHub