Skip to main content

knowledge_dir_of

lean_ctx::core::knowledge

Function knowledge_dir_of 

Source 
pub fn knowledge_dir_of(project_root: &str) -> Result<PathBuf, String>
Expand description

The directory of project_root’s store (knowledge.json, its journal).