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=488520e2720cd0601a623be39ff87223d81ca1d2f81c77641f803fda21f3717e

sha512=146e43a6a9c516f4e7fe143d4fdf3e1e7ecdcd73ea5cc3e09b2886f68aa05210c016e905bf1596341faa0b55709ad530ef86212c92790b6dce6050a0a00e3325

Sourcetype raw_generic_tactic = Gentactic.raw_generic_tactic

Sourceval sexp_of_raw_generic_tactic : raw_generic_tactic -> Sexplib0.Sexp.t

Sourceval raw_generic_tactic_of_sexp : Sexplib0.Sexp.t -> raw_generic_tactic

val hash_fold_raw_generic_tactic : 
  Ppx_hash_lib.Std.Hash.state ->
  raw_generic_tactic ->
  Ppx_hash_lib.Std.Hash.state

val hash_raw_generic_tactic : 
  raw_generic_tactic ->
  Ppx_hash_lib.Std.Hash.hash_value

val compare_raw_generic_tactic : 
  raw_generic_tactic ->
  raw_generic_tactic ->
  int

Sourceval raw_generic_tactic_to_yojson : raw_generic_tactic -> Yojson.Safe.t

val raw_generic_tactic_of_yojson : 
  Yojson.Safe.t ->
  raw_generic_tactic Ppx_deriving_yojson_runtime.error_or