mango-v4/rs/doc/mango_v4/i80f48/sidebar-items.js

window.SIDEBAR_ITEMS = {"trait":["ClampToInt","LowPrecisionDivision"]};