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

Module `Serlib.Ser_cEphemeron`Source

Sourcetype 'a key = 'a CEphemeron.key

Sourceval key_of_sexp : ('a -> 'b) -> 'a -> 'b CEphemeron.key

Sourceval sexp_of_key : ('a -> 'b) -> 'a CEphemeron.key -> 'b