// Indirect loader of the symbol index for ADT.Priority_queue.

// Inherit ADT.Heap.
PikeDoc.loadScript("ex/predef_3A_3A/ADT/Heap/load_index.js", "ADT.Heap");

PikeDoc.loadScript("ex/predef_3A_3A/ADT/Priority_queue/index.js", false, ["ADT.Heap"]);