pub fn event_queue_ty() -> Expr
EventQueue : Type -> Type A priority queue of future events ordered by event time
EventQueue : Type -> Type