Up
–
coq-core
»
Classes
» Event
Module
Classes.Event
type
t
=
|
NewClass
of
Typeclasses.typeclass
|
NewInstance
of
instance