package coq-serapi

You can search for identifiers within the package.

in-package search v0.2.0

Module `Serlib.Ser_stdlib`Source

Sourcetype nonrec 'a ref = 'a ref

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

Sourcemodule Lazy : sig ... end