Up
–
coq-core
»
Vernacstate
»
System
» Interp
Module
System.Interp
type
t
The system state includes the summary and the libobject