Module Make.PriorityTreeNodeSource

type root =
  1. | Root
type nonroot =
  1. | NonRoot
type stream = nonroot node
and parent =
  1. | Parent : _ node -> parent
and _ node =
  1. | Connection : {
    1. all_streams : stream 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.closed StreamsTbl.t;
    } -> root node
  2. | Stream : {
    1. descriptor : Streamd.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