Consider the definition in OCaml let fabcd = a.(if b then c else d)
Which of the following must hold (zero, one or more answers can be correct)?
A. The type of a is int array.
B. The type of b is bool.
C. The type of c is int.
D. The type of d is int.
E. The return type of f is int.

The type of b is bool ( B )

The type of c is int ( C )

The type of d is int ( D )

Explanation:

The options that must hold zero are: The type of b is bool,The type of d is int and The type of c is int.

If b is true then c or d is true because c and d are int. this is because b been a true/false means that d and c are boolean int. because d and c are assigned to integers