var srcIndex = new Map(JSON.parse('[\
["safe_math",["",[],["safe_operations.rs"]]]\
]'));
createSrcSidebar();