Function polyhorn_cli::core::cargo::metadata

pub fn metadata() -> Result<Metadata, Error>

Reads the metadata stored in the Cargo.toml file of the current working directory. Note that this does not support --manifest-path.