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=667908bdd88f0bb1b75d2fa76a483006d600c9422a2a15297a172e62c0415cad

sha512=42f8e5ad308702f77c9dc40243acd2e656b16bdb94c302306dbb87387cc36941deccd5f52c18d1a045467030ddf86528b22819522a647eee5b9e1ac25f4a9560

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