Leveraging Rust types for modular specification and verification | Heykuki News