Skip to main content

Module term

Module term 

Source
Expand description

The Term contract: the checked form that bridges expressions and data.

The kernel defines the term representation and its operation keys; it sits on the path from checked forms to objects, and libraries interpret terms.

Structs§

OpKey
Stable operation identity used by lowered Term::Op nodes.

Enums§

Term
Lowered executable form.