window.SIDEBAR_ITEMS = {"macro":["rp2040_timer_monotonic"],"trait":["ExtU64","ExtU64Ceil","Monotonic"]};