Module Scheduler.PriorityTreeNodeSource

type root =
  1. | Root
type nonroot =
  1. | NonRoot
type stream = nonroot node
and parent =
  1. | Parent : 'a node -> parent
and !_ node =
  1. | Connection : {
    1. all_streams : stream Dream_h2__Scheduler.StreamsTbl.t;
    2. mutable t_last : int;
    3. mutable children : PriorityQueue.t;
    4. mutable flow : Settings.WindowSize.t;
    5. mutable inflow : Settings.WindowSize.t;
    6. mutable marked_for_removal : (Stream_identifier.t * Stream.closed) list;
    } -> root node
  2. | Stream : {
    1. descriptor : Respd.t;
    2. mutable t_last : int;
    3. mutable t : int;
    4. mutable priority : Priority.t;
    5. mutable parent : parent;
    6. mutable children : PriorityQueue.t;
    7. mutable flow : Settings.WindowSize.t;
    8. mutable inflow : Settings.WindowSize.t;
    } -> nonroot node