src/arithmetic.aug diagrams

Create a package

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.

add

Source

Add two integers.

It takes left and right as integers.

It returns int — Their sum.

Return left + right; required cleanup runs before exit. Explanation.

Called contracts

• add — src/arithmetic.aug