Up – Package index » coq-lsp » Library coq-lsp.fleche » Fleche » Doc » Node » Ast

Module `Node.Ast`Source

coq-lsp
- CHANGES
- README
- Library Example_plugin
  - Example_plugin
- Library coq-lsp.coq
  - Coq
- Library coq-lsp.fleche
  - Fleche
- Library coq-lsp.lang
  - Lang
- Library coq-lsp.lsp
  - Lsp
- Library coq-lsp.plugin
- Library fleche_waterproof
  - Fleche_waterproof
- Sources

Sourcetype t = {

v : Coq.Ast.t;
ast_info : Lang.Ast.Info.t list option;

}