is there a function like :: that returns a boolean result? for the life of me i can't find it in the docs (maybe i'm going mad - i can't even find an index to the docs any more)!
(i know normally you wouldn't need this, but i'm writing some logic to select types for calculations given certain requirements on available sizes, and its convenient to mix integers (bit lengths) and types (subtypes of Unsigned). but when i need to separate them i'm having trouble...) thanks, andrew
