Expand description
decl-lsp (docs/tooling/03_lsp.md): the language server over stdio — a port of the reference implementation’s lsp.ts. Every answer comes from the same checker, inference, and engine as the command line, driven through the session object (session.rs) with the open buffers overriding the disk; positions come from the source ranges every AST node carries, and the types and resolutions recorded while the checker runs (infer.rs hooks). Messages are handled strictly in order, and the server exits when its input closes.