Skip to main content

detect_deficit

lean_ctx::core::context_deficit

Function detect_deficit 

Source 
pub fn detect_deficit(
    ledger: &ContextLedger,
    intent: &StructuredIntent,
    known_files: &[String],
) -> ContextDeficit