leons: > <@leons:is.currently.online> @random-task:matrix.org Just skimmed this doc. > > > In addition, maybe integers-only as too limiting, as exotic types like `Wrapper(u32)` should be available. > > I think that's a good point; it's important to be able to represent counters of widths other than those available through Rust's integer types. I assume that's the purpose of at least some of these "exotic types"? In that case, it's also worth thinking about an explicit API to get a left-justified representation of those counters, and an appropriately shifted frequency measure. We've recently had some trouble with 24-bit timers, and adding special types to represent arbitrary bit-widths and a "left-justify" API can prevent these issues: https://github.com/tock/tock/pull/3975 you hit the nail. fundamentally, any weird and worderful encapsulation of "this is a measure of a thing that counts up one by one" should be valid.