hax-lib 0.3.5

Hax-specific helpers for Rust programs
Documentation