var searchIndex = JSON.parse('{\
"rust_crate":{"doc":"","t":"F","n":["add"],"q":[[0,"rust_crate"]],"d":["Adds two numbers."],"i":[0],"f":[[[1,1],1]],"c":[],"p":[[15,"usize"]]}\
}');
if (typeof window !== 'undefined' && window.initSearch) {window.initSearch(searchIndex)};
if (typeof exports !== 'undefined') {exports.searchIndex = searchIndex};