package coq-lsp

You can search for identifiers within the package.

in-package search v0.2.0

Module `RunTac.Handler`Source

Sourcemodule Params : sig ... end

Sourcemodule Response : sig ... end

val handler : 
  (Params.t, Petanque.Agent.State.t Petanque.Agent.Run_result.t) HType.t