package coq-serapi

You can search for identifiers within the package.

in-package search v0.2.0

Serialization library and protocol for machine interaction with the Coq proof assistant

Install

sha256=d9a32c0033d720032011e9bf5e8d30d4b205ce276b6a81ab359fc461809e9b63

sha512=742d2b92b986e45044c19cd2bbfd5dd5346cfb4b0ec20f40811d8b0096c6e25192528359f98d2eed2a74ae67790d1f8cea382cb01fd7cf8903a5a917cca79a84

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