package coq-lsp

You can search for identifiers within the package.

in-package search v0.2.0

Module `Serlib.Ser_printer`Source

Sourcemodule Names = Ser_names

Sourcetype axiom = Printer.axiom =

| Constant of Names.Constant.t
| Positive of Names.MutInd.t
| Guarded of Names.GlobRef.t
| TypeInType of Names.GlobRef.t
| UIP of Names.MutInd.t

Sourceval axiom_of_sexp : Sexplib0.Sexp.t -> axiom

Sourceval sexp_of_axiom : axiom -> Sexplib0.Sexp.t