Skip to main content

relative_dependency_cache_path

lemma_cli::deps

Function relative_dependency_cache_path 

Source 
pub fn relative_dependency_cache_path(
    registry_attribute_display: &str,
) -> PathBuf
Expand description

Relative path under lemma_deps/ for a fetched registry bundle (GET /@id.lemma identity includes @).