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

Module `Serlib.Ser_geninterp`Source

Sourcemodule Val : sig ... end

Sourcetype interp_sign = Geninterp.interp_sign

Sourceval interp_sign_of_sexp : Sexplib.Sexp.t -> interp_sign

Sourceval sexp_of_interp_sign : interp_sign -> Sexplib.Sexp.t