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