II. For each of the following definitions, give the type of the function and its arguments. If there is a type mismatch, you should explain the reason for the mismatch. Note that for recursive functions, let rec is used a. let fa- 1 b. let f a a c. let fab- a+ b1.0 d. let fab- a b e. let fabc- c. (a+b) f. let f abc- c. (a+b) + a g. let fab c- if c. (a) then a else b h. let f a b c = if c.(a. (b)) then a else b i. let f a bc-a. (c)