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