Module Soteria_c_lib.Soteria_c_lsp

module Lsp = Linol.Lsp
val get_abort_diagnostics : Soteria.Stats.t -> Lsp.Types.Diagnostic.t list
val lift_severity : Soteria.Terminal.Diagnostic.severity -> Lsp.Types.DiagnosticSeverity.t
val error_to_diagnostic_opt : uri:Linol_lsp__Types.DocumentUri.t -> (Error.t * Cerb_location.t Soteria.Terminal.Call_trace.t) -> Lsp.Types.Diagnostic.t
class soteria_lsp_server : (string -> (Error.t * Cerb_location.t Soteria.Terminal.Call_trace.t) list) -> object ... end
val run : generate_errors: (string -> (Error.t * Cerb_location.t Soteria.Terminal.Call_trace.t) list) -> unit -> Error.Exit_code.t