arith_2.vh (106B)
1 2 3 4 5 6
f : Int -> Int f n = n - 20 a = 2 + f 3 * 4 / 6 -- Treat `3` literal as intger numeric in type checker.
