functions.vh (304B)
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
a : Nat -> Nat -> Int a n m = n - 2*m a 1 2 -- a = n |-> (m |-> n - 2*m) -- |_____________| -- | -- func: `__a_final` -- |_____________________| -- | -- func: `__a__0` -- |__________________________| -- | -- func: a
