8.16.0.4

7 Static Information, Binding, and Annotation🔗ℹ

Static information is closely related to annotations, because annotations are often the source of static information, either applied to an expression or associated with a binding. Binding, in turn, is closely related to static information, because annotations are often applied at bindings.

    7.1 Static Information

    7.2 Representing Static Information

    7.3 Rules for Static Information

    7.4 Annotation Low-Level Protocol

    7.5 Binding Low-Level Protocol