package coq-lsp

You can search for identifiers within the package.

in-package search v0.2.0

Module `TableOfContents.Handler`Source

Sourcemodule Params = Params

Sourcemodule Response = Response

val handler : 
  (Params.t, (string * Lang.Ast.Info.t list option) list)
    Petanque_json.Protocol.HType.t