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

sha512=33dfa7cb9857e30861ef4dc6bd1654799e6fd45d53d7ad9f79755920c1961e67f98f650db1e6dc288f0f1fe744fac28878ec03cce062cae78ae64bdd98614991

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