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=f574f3323a00eab3c158ae70dfd88fbbe90c8c86f95e0f175570266d5b401b14

sha512=2bd46a630a21306ccd62469f29fa60bb43d96c62d8236abafd15f9c2cd904070d92ec566263d1b8f151698914a6d740e5f6adcfb020c338e90a0b23a4457bc16

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