domain/models.aug

Modules and composition · Source and specification

Files in this project

• main.aug
• counters.aug
• domain/app.aug
• domain/export.aug
• domain/models.aug
• domain/numbers.aug

Code

Indentation

// aug-spec: "models.aug.md" explains this file. Read it before changes; refresh with aug spec.
/** Immutable fruit data, with public construction labels and structural equality. */
Explanation 1Explanation 2
record Fruit(int code, string name)

Braces

// aug-spec: "models.aug.md" explains this file. Read it before changes; refresh with aug spec.
/** Immutable fruit data, with public construction labels and structural equality. */
Explanation 1Explanation 2
record Fruit(int code, string name)

Compiled specification

Interactions and sequences

Fruit · immutable record · 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.