coq-lsp.coq
Ast.Info
Information about the Ast, to move to lang
coq-lsp.fleche
coq-lsp.lang
coq-lsp.lsp
fleche_waterproof
type 'l t = {
range : 'l;
name : Names.Name.t CAst.t;
kind : int;
detail : string option;
children : 'l t list option;
}