3.7 References and ownership qualifiers
| Notation | Meaning |
|---|---|
&T | shared borrow, read-only |
&var T | exclusive borrow, read and write |
frozen T | deeply immutable value, can be shared between tasks |
sync T | a type with internal synchronisation (atomics, Mutex, TVar) |
Rc<T> | reference counter inside one task |
Arc<T> | atomic reference counter; T MUST be frozen or sync |
view T | zero-copy view of a serialised T over a buffer (§9.6) |
secret<T> | a value that is not logged, not serialised in clear text and is wiped on destruction (§13.3) |
Rules — §7.
Source: docs/spec/oxl-standard.en.md