package coq-lsp

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

Module Request.ErrorSource

Sourcetype 'a t = {
  1. code : int;
  2. payload : 'a;
  3. feedback : Lang.Range.t Coq.Message.t list;
}
Sourceval make : ?feedback:Lang.Range.t Coq.Message.t list -> int -> 'a -> 'a t
OCaml

Innovation. Community. Security.