src/export.aug

Create a package · Source and specification

Files in this project

• src/arithmetic.aug
• src/export.aug

Code

Indentation

// aug-spec: "export.aug.md" explains this file. Read it before changes; refresh with aug spec.
export add from arithmetic

Braces

// aug-spec: "export.aug.md" explains this file. Read it before changes; refresh with aug spec.
export add from arithmetic

Compiled specification

Interactions and sequences

Exports

Export the declaration add from arithmetic.aug.