{"library":"polyhorn-ui","install":[{"cmd":"# Cargo.toml\n[dependencies]\npolyhorn-ui = \"0.4.0\"","imports":["use polyhorn_ui::View;"]},{"cmd":"cargo add polyhorn-ui","imports":[]}]}