hax_lib::coq

Attribute Macro replace_body

#[replace_body]
Expand description

Replaces the body of a Rust function with some verbatim coq code.