Up – Package index » coq-lsp » Library coq-lsp.serlib » Serlib » Ser_summary » Interp

Module `Ser_summary.Interp`Source

Sourcetype frozen = Summary.Interp.frozen

Sourceval frozen_of_sexp : Sexplib.Sexp.t -> 'a

Sourceval sexp_of_frozen : 'a -> Sexplib.Sexp.t