package coq-lsp

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type nonrec 'a ref = 'a Stdlib.ref
val ref : 'a -> 'a Stdlib.ref
val (!) : 'a Stdlib.ref -> 'a
val (:=) : 'a Stdlib.ref -> 'a -> unit
val ref_of_sexp : (Sexplib0__.Sexp.t -> 'a) -> Sexplib0__.Sexp.t -> 'a Stdlib.ref
val sexp_of_ref : ('a -> Sexplib0__.Sexp.t) -> 'a Stdlib.ref -> Sexplib0__.Sexp.t
val ref_to_yojson : ('a -> 'b) -> 'a Stdlib.ref -> 'b
val ref_of_yojson : ('a -> ('b, 'c) Stdlib.result) -> 'a -> ('b Stdlib.ref, 'c) Stdlib.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 Stdlib.ref Base__Ppx_compare_lib.compare
val (==) : 'a -> 'a -> bool
module Lazy : sig ... end
module List : sig ... end
module Option = Stdlib.Option
OCaml

Innovation. Community. Security.