Up – Package index » coq-lsp » Sources » coq-lsp.lang » ast.mlcoq-lsp CHANGES README Library Astdump_plugin Library Count_genargs_plugin Library Example_plugin Library Explain_errors Library Goaldumpl_plugin Library Savevo_plugin Library Unidiff_plugin Library coq-lsp.coq Library coq-lsp.fleche Library coq-lsp.lang Library coq-lsp.layout-printer Library coq-lsp.lsp Library coq-lsp.petanque Library coq-lsp.plugin Library coq-lsp.request Library coq-lsp.serlib Library fleche_waterproof Library petanque_json Library petanque_shell Library serlib_btauto Library serlib_cc Library serlib_extraction Library serlib_firstorder Library serlib_funind Library serlib_ltac Library serlib_ltac2 Library serlib_ltac2_ltac1 Library serlib_micromega Library serlib_micromega_core Library serlib_number_string_notation_plugin Library serlib_ring Library serlib_ssr Library serlib_ssrmatching Library serlib_tauto Library serlib_zify Sources Astdump_plugin Count_genargs_plugin Example_plugin Explain_errors Goaldumpl_plugin Savevo_plugin Unidiff_plugin coq-lsp.coq coq-lsp.fleche coq-lsp.lang coq-lsp.layout-printer coq-lsp.lsp coq-lsp.petanque coq-lsp.request coq-lsp.serlib fleche_waterproof petanque_json petanque_shell serlib_btauto serlib_cc serlib_extraction serlib_firstorder serlib_funind serlib_ltac serlib_ltac2 serlib_ltac2_ltac1 serlib_micromega serlib_micromega_core serlib_number_string_notation_plugin serlib_ring serlib_ssr serlib_ssrmatching serlib_tauto serlib_zify 1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
module Name = struct
type t = string option
end
(** Information about the Ast, to move to lang *)
module Info = struct
type t =
{ range : Range . t
; name : Name . t With_range . t
; kind : int
; detail : string option
; children : t list option
}
let make ~ range ~ name ~ kind ? detail ? children ( ) =
{ range ; name ; kind ; detail ; children }
end