brrr_lint/lib.rs
1//! F* Language Server Protocol library.
2//!
3//! This crate provides a complete LSP implementation for F*.
4
5pub mod config;
6pub mod connection;
7pub mod document;
8pub mod error;
9pub mod lint;
10pub mod protocol;
11pub mod server;
12
13pub use config::{FstarConfig, LspSettings};
14pub use error::{FstarError, Result};
15pub use lint::{LintConfig, LintEngine, OutputFormat};
16pub use server::FstarServer;