Skip to content

Language reference

The normative source is syntax, types and ownership. Syntax §4.2 lists 24 core forms, including defkernel. with-view and with-view-ro are library macros (§3.21); they do not increase that count.

Area Normative chapter
Reader, literals, forms and macros syntax §§1–4
Modules and visibility syntax §5
Type inference, protocols, Send, async types
Borrows, counts, in-out places, exclusive views ownership and types §§6–8
Builtin signatures and escape kinds generated table
Shipped facade declarations library index

The stdlib specification is a planning table; its unbound exceptions are explicit in ADR 0023. Historical Rust citations resolve at tag seed-1, as explained in the source map.