Up
–
coq-lsp
»
Fleche
»
Doc
»
Node
» Ast
Module
Node.Ast
type
t
=
{
v :
Coq.Ast.t
;
ast_info :
Lang.Ast.Info.t
list
option
;
}