package coq-lsp

You can search for identifiers within the package.

in-package search v0.2.0

Language Server Protocol native server for Coq

Install

dune-project

Dependency

sha256=9e3736371fe2c2dd5af50e2a360f070f8c329516c60f01ba3dc7378b80b77172

sha512=d5302f5dc4d7700910b7a7a2d1558770e15bfc0c7bcf9de2ccfd321b4e3cd591848d8e11f03e87362a8d81df72ec4af57dda2c3c5737b34726dcee35de2e56c8

Sourcemodule Ast : sig ... end

Sourcemodule Compat : sig ... end

Sourcemodule Diagnostic : sig ... end

Sourcemodule LUri : sig ... end

Sourcemodule Point : sig ... end

Sourcemodule Qf : sig ... end

Sourcemodule Range : sig ... end

Sourcemodule Utf : sig ... end

This module provides facilities for translating language-based locations to protocol-based locations.

Sourcemodule With_range : sig ... end