package coq-lsp
Language Server Protocol native server for Coq
Install
Dune Dependency
Authors
Maintainers
Sources
coq-lsp-0.1.2.v8.16.tbz
sha256=31b83f0908bbabf4079806ce9271a30f7af8fb4e2fd5c81c1ccc3c1e8022f0de
sha512=de9f48cb643944620183243a55a225b33b3b77d2cc2ea26e38377622ea9036e7205634e880d804dd0ae69ce22d321ce4dfbacc94aebb402d1f124d5be348ebca
doc/coq-lsp.fleche/Fleche/Doc/index.html
Module Fleche.DocSource
Source
type node = {loc : Loc.t;ast : Coq.Ast.t option;(*Ast of node
*)state : Coq.State.t;(*(Full) State of node
*)diags : Types.Diagnostic.t list;(*Diagnostics associated to the node
*)messages : Coq.Message.t list;memo_info : string;
}Source
type t = private {uri : string;version : int;contents : string;end_loc : int * int * int;root : Coq.State.t;nodes : node list;diags_dirty : bool;completed : Completion.t;
}Source
val create :
state:Coq.State.t ->
workspace:Coq.Workspace.t ->
uri:string ->
version:int ->
contents:string ->
t