var srcIndex = JSON.parse('{\
"ladderz":["",[],["lib.rs","prealgebra.rs"]],\
"lz":["",[],["main.rs","prealgebra.rs"]]\
}');
createSrcSidebar();