Up
–
coq-core
»
Vernacstate
»
System
» Synterp
Module
System.Synterp
type
t