window.SIDEBAR_ITEMS = {"struct":["F2p2","Gamma","GammaFn"],"trait":["Number"]};