var searchIndex = new Map(JSON.parse('[\
["safe_math",{"t":"HH","n":["safe_add","safe_multiply"],"q":[[0,"safe_math"],[2,"core::result"],[3,"core::clone"],[4,"core::marker"]],"i":[0,0],"f":"{{cc}{{d{bc}}}{fh}}0","D":"`","p":[[1,"i64"],[6,"Result",2],[10,"Clone",3],[10,"Copy",4]],"r":[],"b":[],"c":"OjAAAAAAAAA=","e":"OjAAAAEAAAAAAAIAEAAAAAAAAQACAA=="}]\
]'));
if (typeof exports !== 'undefined') exports.searchIndex = searchIndex;
else if (window.initSearch) window.initSearch(searchIndex);