[alcover]

Hello, your doc about const says "The const qualifier is only retained for actual constant variables".

Then how do you express read-only pointers ? Like C `const int* ptr`

[lerno]

If you pass them as parameters, then there are in/out/inout annotations to limit usage. But other than that, there isn't anything.