{"library":"stainless","install":[{"cmd":"# Cargo.toml\n[dependencies]\nstainless = \"0.1.12\"","imports":["use stainless::describe;"]},{"cmd":"cargo add stainless","imports":[]}]}