Skip to main content

handle_with_task_resolved

lean_ctx::tools::ctx_read

Function handle_with_task_resolved 

Source 
pub fn handle_with_task_resolved(
    cache: &mut SessionCache,
    path: &str,
    mode: &str,
    crp_mode: CrpMode,
    task: Option<&str>,
) -> (String, String)