var searchIndex = JSON.parse('{\
"p_documenting":{"doc":"My Crate","t":[5],"n":["add_one"],"q":["p_documenting"],"d":["Adds one to the number given."],"i":[0],"f":[[[["i32",15]],["i32",15]]],"p":[]}\
}');
if (window.initSearch) {window.initSearch(searchIndex)};