rust-fixpoint

Fixpoint functions for Rust