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

Module `Serlib.Ser_cooking`Source

Sourcetype recipe = Cooking.recipe

Sourceval recipe_of_sexp : Sexplib.Sexp.t -> recipe

Sourceval sexp_of_recipe : recipe -> Sexplib.Sexp.t