package coq-lsp

  1. Overview
  2. Docs
package coq-lsp
Legend:
Library
Module
Module type
Parameter
Class
Class type

This module contains the OCaml specification of Flèche's / coq-lsp extensions to LSP

module Config : sig ... end

Server config

val mk_progress : uri:Lang.LUri.File.t -> version:int -> Fleche.Progress.Info.t list -> Yojson.Safe.t

FileProgress support

module FileProgress : sig ... end
module Message : sig ... end

Goals

module GoalsAnswer : sig ... end
module CompletionStatus : sig ... end

Coq-lsp-specific

module RangedSpan : sig ... end
module FlecheDocument : sig ... end
module SentencePerfData : sig ... end
module DocumentPerfData : sig ... end