data.aug diagrams
Project overview · Compiled explanation
Sequences
Call arrows identify checked targets; loop and branch frames determine when they run. Open that target’s module to follow its implementation. Branches describe alternatives; loops describe repeated work. Native calls and interface dispatch stop at their declared contracts. Exit notes end that path; enclosing recovery and cleanup remain visible.
Payload constructor
It takes id as an integer, kept read-only, message as a string, kept read-only, and values as List<int>, kept read-only.
Receive fields: id, message, values. Explanation.