LANGUAGE · VERIFIED

Functions

fn add(a: int, b: int) -> int {
    return a + b;
}

fn main() -> int {
    return add(10, 20);
}

Verified behavior

• Typed parameters and return types
• Function calls
• Multiple functions in one program
• Functions without an explicit return type in tested scenarios
• Return values and tail expressions