package coq-lsp

You can search for identifiers within the package.

in-package search v0.2.0

Module `Petanque_shell.Interp_shell`Source

module Lsp = Fleche_lsp

type doc_handler =
  token:Coq.Limits.Token.t ->
  uri:Lang.LUri.File.t ->
  Fleche.Doc.t Petanque.Agent.R.t

val interp : 
  fn:doc_handler ->
  token:Coq.Limits.Token.t ->
  Lsp.Base.Message.t ->
  Lsp.Base.Message.t option