package coq-lsp

You can search for identifiers within the package.

in-package search v0.2.0

Source file `ser_summary.ml`

1
2
3
4
5
6
7
8
module Interp = struct

type frozen = Summary.Interp.frozen

let frozen_of_sexp x = Serlib_base.opaque_of_sexp ~typ:"Summary.Interp.frozen" x
let sexp_of_frozen x = Serlib_base.sexp_of_opaque ~typ:"Summary.Interp.frozen" x

end