window.SIDEBAR_ITEMS = {"trait":["Float","FloatConst","FloatCore","TotalOrder"]};