Classes.Event
type t =
| NewClass of Hints.hint_mode list option * Typeclasses.typeclass
| NewInstance of instance