package coq-serapi
Serialization library and protocol for machine interaction with the Coq proof assistant
Install
Dune Dependency
Authors
Maintainers
Sources
coq-serapi-8.17.0.0.17.1.tbz
sha256=09e2b3920d40eea3bed165d9ec67a3c87a9795918adbea0f9a87ee68d2014fa4
sha512=650b8e5d09aa42d4cb9f3c2dd09d9e4217bd325f5ac9b540783775e2a132556bbfa1f9c702eba83d6480ad3d8e429171d3bd4d01194b8243c80e8d55c0825bad
doc/coq-serapi.serlib/Serlib/Ser_printer/index.html
Module Serlib.Ser_printerSource
Source
type 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