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