package coq-lsp

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Source file main.ml

1
2
3
4
5
6
let simple_action ~io:_ ~doc =
  let uri = Lang.LUri.File.to_string_uri doc.Fleche.Doc.uri in
  Format.eprintf "[example plugin] file checking for %s was completed@\n%!" uri

let main () = Fleche.Theory.Register.add simple_action
let () = main ()
OCaml

Innovation. Community. Security.