var searchIndex = {};
searchIndex["editdistancewf"] = {"doc":"","items":[[5,"distance","editdistancewf","",null,{"inputs":[{"name":"i"},{"name":"i"}],"output":{"name":"usize"}}]],"paths":[]};
initSearch(searchIndex);