window.SIDEBAR_ITEMS = {"trait":["CheckedAdd","CheckedDiv","CheckedMul","CheckedNeg","CheckedRem","CheckedShl","CheckedShr","CheckedSub"]};