Module env 

What the checker knows while it walks a body: locals in scope, what context it is in, and which state the code it has seen reads and writes.

Structs

Body 🔒

One function, view or window body: its locals and the scopes that name them.

Effects 🔒

State reads and writes seen so far, and the functions called (whose effects count too).

FnEffects 🔒

Every function’s reads and writes, including those of the functions it calls.

LocalInfo 🔒

Enums

Context 🔒

What kind of code is being checked, which decides what it may do.

LocalKind 🔒