package coq-serapi

You can search for identifiers within the package.

in-package search v0.2.0

Module `Ser_libobject.Dyn`Source

Sourcetype t = Libobject.Dyn.t

Sourcemodule Reified : sig ... end

Sourceval t_of_sexp : Sexplib.Sexp.t -> 'a

Sourceval sexp_of_t : Libobject.Dyn.t -> Sexplib0.Sexp.t