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