window.SIDEBAR_ITEMS = {"mod":["prelude"],"type":["BitVec"]};