Skip to main content

event_queue_ty

Function event_queue_ty 

Source
pub fn event_queue_ty() -> Expr
Expand description

EventQueue : Type -> Type A priority queue of future events ordered by event time