8.16.0.4

8 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.

    8.1 Static Information

    8.2 Representing Static Information

    8.3 Rules for Static Information

    8.4 Annotation Low-Level Protocol

    8.5 Binding Low-Level Protocol