package forester

You can search for identifiers within the package.

in-package search v0.2.0

A tool for tending mathematical forests

Install

md5=24f4aed96a8b8af33aba13fba66f1b37

sha512=d36b896aca11858bb4a00fc704c16cc27a1f197bdb3e479d6132fd70f70d67d7158096285cb0b6fb00db14417f0f822cc27fe65d82f0971e42378fd8271ce573

Sourcetype diagnostic = Forester_core.Reporter.Message.t Asai.Diagnostic.t

Sourcetype table = (Lsp.Uri.t, diagnostic list) Hashtbl.t

Sourceval send : Jsonrpc.Packet.t -> unit

val render_lsp_related_info : 
  Lsp.Types.DocumentUri.t ->
  Asai.Diagnostic.loctext ->
  Lsp.Types.DiagnosticRelatedInformation.t

val render_lsp_diagnostic : 
  Lsp.Types.DocumentUri.t ->
  diagnostic ->
  Lsp.Types.Diagnostic.t

Sourceval broadcast : Lsp.Server_notification.t -> unit

Sourceval publish : Lsp.Uri.t -> diagnostic list -> unit