Module env 

The evaluation environment: Cx, Env, capabilities, and diagnostics.

This is the context threaded through every checked call – the registry handle, capability set, and diagnostic sink the kernel contracts operate against; libraries supply the behavior reached through it.

Structs

Cx

The evaluation context threaded through every checked call.

Diagnostics

A collected sink of Diagnostics accumulated during a checked call.

Env

A lexical environment: a frame of symbol bindings chained to a parent.

Type Aliases

Capabilities

The capability state of a Cx; an alias for CapabilitySet.