// Indirect loader of the symbol index for ADT.CritBit.RangeSet.

PikeDoc.loadScript("ex/predef_3A_3A/ADT/CritBit/RangeSet/index.js", true, null);