domain/models.aug diagrams

Modules and composition

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.

Fruit constructor

Source

Immutable fruit data, with public construction labels and structural equality.

It takes code as an integer, kept read-only and name as a string, kept read-only.

Receive fields: code, name. Explanation.