package coq-lsp

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

Module Protocol.HTypeSource

Sourcetype ('p, 'r) t =
  1. | Immediate of token:Coq.Limits.Token.t -> 'p -> 'r JAgent.R.t
  2. | FullDoc of {
    1. uri_fn : 'p -> Lang.LUri.File.t;
    2. handler : token:Coq.Limits.Token.t -> doc:Fleche.Doc.t -> 'p -> 'r JAgent.R.t;
    }