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