pub type CirculateRequestEvent = CirculateNotifyEvent;