appendix sectionnotation

Ownership and borrowing

symbol	meaning	first
symbol	meaning	first
$O (A), D$	owned and unavailable finite-protocol states	definition 46.1
$S_{B} (A), X_{\bar{α}} (A)$	shared-lifetime set and exclusive-lifetime stack	definition 46.1
$⟼_{own}$	finite ownership-protocol or realized command step	section 46.1
$L; R ⊧_{own} Ω$	runtime resource map agrees with a protocol environment at a lifetime stack	definition 46.3
$⋉$	ordered Affe environment split	definition 46.8
$⇝_{reg}$	Affe suspended-binding activation for a region	section 46.2
$⊑$	Pure Borrow lifetime inclusion	subsection 46.4.1
$⟼_{m}, ⟼_{d}$	Pure Borrow mutative and denotational steps	subsection 46.4.2
$M ⋈_{A} D$	Pure Borrow association at result type $A$	definition 46.13