Wyrażenia w działaniu zadania

Czytaj obliczenia oddzielnie od połączeń systemu.

Przeczytaj przykład

fn Twice(value: Int) -> Int {
    return value * 2
}

Funkcja opisuje obliczenie. Zgodność argumentów i wyników należy weryfikować według aktualnego kontraktu i zakresu implementacji.