package rocq-runtime

You can search for identifiers within the package.

in-package search v0.2.0

Module `Classes.Event`Source

Sourcetype t =

| NewClass of Hints.hint_mode list option * Typeclasses.typeclass
| NewInstance of instance