package forester

You can search for identifiers within the package.

in-package search v0.2.0

A tool for tending mathematical forests

Install

dune-project

Dependency

md5=24f4aed96a8b8af33aba13fba66f1b37

sha512=d36b896aca11858bb4a00fc704c16cc27a1f197bdb3e479d6132fd70f70d67d7158096285cb0b6fb00db14417f0f822cc27fe65d82f0971e42378fd8271ce573

Sourceval resolve : Lsp.Types.CodeAction.t -> Lsp.Types.CodeAction.t

val next_addrs : 
  forest:Forester_compiler.State.t ->
  string option ->
  string * string

val create_tree_edit : 
  range:Lsp__Types.Range.t ->
  uri:Lsp__.Uri0.t ->
  string ->
  string ->
  Lsp.Types.WorkspaceEdit.t

Sourceval compute : Lsp.Types.CodeActionParams.t -> Lsp.Types.CodeActionResult.t