Function completions_with_workspace 

pub fn completions_with_workspace(
    doc: &DocumentState,
    position: Position,
    ws: &dyn WorkspaceView,
    uri: &Url,
) -> Option<CompletionResponse>

completions enriched with cross-module knowledge from the workspace: after Import , the available module NAMES; in code, the public SYMBOLS of the modules this file imports (each labelled from <Module>). Additive — never displaces the local + stdlib completions.