Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
package coq-serapi
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