Structs
The annotation for reaching definitions. For each code position, we have a map of local indices to the set of definitions reaching the code position.
Enums
The reaching definitions we are capturing. Currently we only capture aliases (assignment).
Functions
Format a reaching definition annotation.