rapx 0.7.30

A static analysis platform for Rust program analysis and verification
1

pub mod used_as_immutable;