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

Module `Serlib.Ser_vmemitcodes`Source

Sourcetype body_code = Vmemitcodes.body_code

Sourceval sexp_of_body_code : body_code -> Sexplib.Sexp.t

Sourceval body_code_of_sexp : Sexplib.Sexp.t -> body_code