Registry.S
type element
val element_added : element -> unit
val element_removed : [ `Consumed | `Unconsumed | `Failure ] -> element -> unit