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

sha256=ebf815be389f7ae97fed1f1338fe59f333732062b08a5c04f957d2effa39cffd

sha512=00a1c41a72d2a16347f91c8838237f8016e04cfbd2c3bc4499793fb06c5494070d6593cf2db05eca66fe2c49e958de6a1f30bb77d5989196e51929642a5d11eb

Sourcetype nonrec 'a ref = 'a ref

Sourceval ref : 'a -> 'a ref

Sourceval (!) : 'a ref -> 'a

Sourceval (:=) : 'a ref -> 'a -> unit

Sourceval ref_of_sexp : (Sexplib0.Sexp.t -> 'a) -> Sexplib0.Sexp.t -> 'a ref

Sourceval sexp_of_ref : ('a -> Sexplib0.Sexp.t) -> 'a ref -> Sexplib0.Sexp.t

Sourceval ref_to_yojson : ('a -> 'b) -> 'a ref -> 'b

Sourceval ref_of_yojson : ('a -> ('b, 'c) result) -> 'a -> ('b ref, 'c) result

val hash_fold_ref : 
  'a Base__Hash.folder ->
  'a Base__.Import0.ref Base__Hash.folder

val compare_ref : 
  'a Base__Ppx_compare_lib.compare ->
  'a ref Base__Ppx_compare_lib.compare

Sourceval (==) : 'a -> 'a -> bool

Sourcemodule Lazy : sig ... end

Sourcemodule List : sig ... end

Sourcemodule Option = Option