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

Module `Serlib.Ser_notation`Source

Sourcetype level = Notation.level

Sourceval level_of_sexp : Sexplib.Sexp.t -> level

Sourceval sexp_of_level : level -> Sexplib.Sexp.t