coq-lsp.lang
Ast.Info
Information about the Ast, to move to lang
Astdump_plugin
Example_plugin
Goaldumpl_plugin
Savevo_plugin
coq-lsp.coq
coq-lsp.fleche
coq-lsp.lsp
coq-lsp.petanque
coq-lsp.plugin
fleche_waterproof
petanque_json
type t = private {
range : Range.t;
name : Name.t With_range.t;
kind : int;
detail : string option;
children : t list option;
}
val make : range:Range.t -> name:Name.t With_range.t -> kind:int -> ?detail:string -> ?children:t list -> unit -> t