Diagnostics (cobol_lsp.Cobol_lsp.INTERNAL.Diagnostics)

module DIAG = Cobol_common.Diagnostics

module TYPES : sig ... end

include module type of TYPES with type diagnostics = TYPES.diagnostics

type diagnostics = TYPES.diagnostics

type t = diagnostics

val translate_one : 
  ?focus_on_main_doc:bool ->
  rootdir:string ->
  uri:Lsp.Uri.t ->
  Cobol_common.Diagnostics.t ->
  diagnostics

val translate : 
  ?focus_on_main_doc:bool ->
  rootdir:string ->
  uri:Lsp.Uri.t ->
  Cobol_common.Diagnostics.Set.t ->
  diagnostics

val publish : diagnostics -> unit

val as_notification : 
  ?log:bool ->
  Cobol_common.Diagnostics.t ->
  Lsp.Server_notification.t

val as_notifications : 
  ?log:bool ->
  Cobol_common.Diagnostics.Set.t ->
  Lsp.Server_notification.t list