Skip to main content

run___complete

lean_ctx::cli::completions

Function run___complete 

Source 
pub fn run___complete(args: &[String])
Expand description

lean-ctx __complete zsh -- <words…> — emit completions for the current input.