1 2 3 4 5 6 7 8 9 10 11 12 13
main :: () -> void { a := fun(2, 3); print(a+5); }; fun :: (a:u64, b:u64)->u64 { return a+b+1; }; print :: (a:u64)->void { print_u64 a; };