package coq-lsp

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type doc_handler = token:Coq.Limits.Token.t -> uri:Lang.LUri.File.t -> (Fleche.Doc.t, Petanque.Agent.Error.t) Result.t
OCaml

Innovation. Community. Security.