Up – Package index » coq-serapi » Library coq-serapi.serlib » Serlib » Ser_geninterp » Val

Module `Ser_geninterp.Val`Source

Sourcetype t = Geninterp.Val.t

Sourceval sexp_of_t : t -> Sexplib.Sexp.t

Sourceval t_of_sexp : Sexplib.Sexp.t -> t