package coq-lsp

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val msg_info : io:Fleche__Io.CallBack.t -> ('a, Format.formatter, unit) format -> 'a
val simple_action : io:Fleche__Io.CallBack.t -> token:'a -> doc:Fleche.Doc.t -> unit
val main : unit -> unit
OCaml

Innovation. Community. Security.