3 ms·

So a concise but not-legally-binding notation for types? Useful, but way less useful than if it was actually checked.