| Symbol | Specification | Kind | Type |
|---|---|---|---|
| . × . | gownership | f | Id × (Ref[A] → Id) → IdxO[A] |
| . O | gownership | f | IdxO[A] → Ref[A] → Id |
| . id | gownership | f | IdxO[A] → Id |
| Id | ownership | s | |
| IdxO | gownership | s | |
| Ref | polyref | s | |
| id | gownership | v | Id |
| idxO | gownership | v | IdxO[A] |
| null | polyref | c | Ref[A] |
| of | gownership | v | Ref[A] → Id |