main.aug

A native C boundary · Source and specification

Files in this project

• main.aug
• native.aug

Code

Indentation

// aug-spec: "main.aug.md" explains this file. Read it before changes; refresh with aug spec.
import announce from native
Explanation 1Explanation 2Explanation 3Explanation 4
announce()

Braces

// aug-spec: "main.aug.md" explains this file. Read it before changes; refresh with aug spec.
import announce from native
Explanation 1Explanation 2Explanation 3Explanation 4
announce()

Compiled specification

Interactions and sequences

Startup

It calls announce. source

Dependencies

It uses announce from native.