Traits§
- Annotation
- A value that can annotate an expression node.
- Annotation
Fn - Computes annotations for an expression node, defaulting to bound expressions.
Functions§
- descendent_
bound_ annotations - Annotate a bound expression and propagate each annotation to its ancestors.
- direct_
bound_ annotations - Annotate each bound-expression node without propagating annotations to its ancestors.
Type Aliases§
- Bound
Annotations - Annotations keyed by bound-tree identity.