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

module Lsp = Fleche_lsp

Sourcemodule HType : sig ... end

Sourcemodule type Handler = sig ... end

Sourcemodule Request : sig ... end

Sourcemodule GetRootState : sig ... end

Sourcemodule GetStateAtPos : sig ... end

Sourcemodule Start : sig ... end

Sourcemodule RunTac : sig ... end

Sourcemodule Goals : sig ... end

Sourcemodule Premises : sig ... end

Sourcemodule StateEqual : sig ... end

Sourcemodule StateHash : sig ... end

Sourcemodule StateProofEqual : sig ... end

Sourcemodule StateProofHash : sig ... end

Sourcemodule PetAst : sig ... end

Sourcemodule AstAtPos : sig ... end