Crate brrr_lint 

F* Language Server Protocol library.

This crate provides a complete LSP implementation for F*.

Re-exports

pub use config::FstarConfig;

pub use config::LspSettings;

pub use error::FstarError;

pub use error::Result;

pub use lint::LintConfig;

pub use lint::LintEngine;

pub use lint::OutputFormat;

pub use server::FstarServer;

Modules

config

Configuration handling for the F* LSP server.

connection

F* process connection handling via JSONL protocol.

document

Document state management.

error

Error types for the F* LSP server.

lint

F* linting infrastructure.

protocol

F* IDE protocol message types.

server

LSP server implementation.