Up – Package index » coq-lsp » Sources » Goaldumpl_plugin » goaldumpl_plugin.ml

Source file `goaldumpl_plugin.ml`

coq-lsp
- CHANGES
- README
- Library Astdump_plugin
  - Astdump_plugin
- Library Example_plugin
  - Example_plugin
- Library Goaldumpl_plugin
  - Goaldumpl_plugin
- Library Savevo_plugin
  - Savevo_plugin
- Library coq-lsp.coq
  - Coq
- Library coq-lsp.fleche
  - Fleche
- Library coq-lsp.lang
  - Lang
- Library coq-lsp.lsp
  - Lsp
- Library coq-lsp.petanque
  - Petanque
- Library coq-lsp.plugin
- Library fleche_waterproof
  - Fleche_waterproof
- Library petanque_json
  - Petanque_json
- Sources
  - Astdump_plugin
    - astdump_plugin.ml
    - main.ml
  - Example_plugin
    - example_plugin.ml
    - main.ml
  - Goaldumpl_plugin
    - goaldumpl_plugin.ml
    - main.ml
  - Savevo_plugin
    - main.ml
    - savevo_plugin.ml
  - coq-lsp.coq
  - coq-lsp.fleche
  - coq-lsp.lang
  - coq-lsp.lsp
  - coq-lsp.petanque
    - agent.ml
    - petanque.ml
  - fleche_waterproof
  - petanque_json

1
2
3
4
(* generated by dune *)

(** @canonical Goaldumpl_plugin.Main *)
module Main = Goaldumpl_plugin__Main