If I\'m writing a function f :: Integer -> Integer that I know will only be called with values from 0 to divisor, which of these implem
f :: Integer -> Integer
0
divisor