b = 2
exp' n =  if (n == 0) then 1 else b * exp' (n-1)

{-- test it with:

let b = 3 in exp' 4

--}