For the following OCaml code

let f a b c d e $=$ e$.($ if e$.(1)$ then a b else b d $)$

The type of b is