# rust-fixpoint
Fixpoint functions for Rust