Attribute Macro postprocess_with

#[postprocess_with]

Postprocess an item with a given tactic. This macro takes the tactic in parameter: this may be a Rust identifier or a raw snippet of F* code as a string literal.