Skip to main content

partial_progress

lean_ctx::core::embedding_index

Function partial_progress 

Source 
pub fn partial_progress(root: &Path) -> Option<(u64, u64)>
Expand description

(embedded, total) chunks when the persisted index is an incomplete checkpoint that lean-ctx index build-semantic would resume.