var searchIndex = {};
searchIndex["dump"] = {"doc":"","items":[[5,"get_type_of","dump","",null,{"inputs":[{"name":"t"}],"output":{"name":"string"}}],[14,"dump!","","",null,null]],"paths":[]};
initSearch(searchIndex);