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

Module `Serlib.Ser_reduction`Source

Sourcetype conv_pb = Reduction.conv_pb

Sourceval conv_pb_of_sexp : Sexplib.Sexp.t -> conv_pb

Sourceval sexp_of_conv_pb : conv_pb -> Sexplib.Sexp.t