Up – Package index » coq-serapi » Library coq-serapi.serlib » Serlib » Ser_libobject » Dyn

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