{"library":"crux-macros","install":[{"cmd":"# Cargo.toml\n[dependencies]\ncrux_macros = \"0.8.0\"","imports":["use crux_macros::CruxMacro;"]},{"cmd":"cargo add crux_macros","imports":[]}]}