package coq-lsp

You can search for identifiers within the package.

in-package search v0.2.0

Module `Request`Source

Sourcemodule Error : sig ... end

Sourcemodule R : sig ... end

type ('r, 'e) document =
  token:Coq.Limits.Token.t ->
  doc:Fleche.Doc.t ->
  ('r, 'e) R.t

type ('r, 'e) position =
  token:Coq.Limits.Token.t ->
  doc:Fleche.Doc.t ->
  point:(int * int) ->
  ('r, 'e) R.t

Sourcemodule Data : sig ... end

Requests that require data access