Language: OCaml

Please give a true or false answer to each question. Suppose that in a (fictitious) language Lava we have int as a subtype of float. Answer the following questions about subtyping in Lava. 1. A function of type int -> int can always be replaced by a function of type int -> float 2. A function of type int -> bool can always be replaced by function of type float -> bool 3. A tuple of type int * int ref can always be replaced by a tuple of type float * float ref. Distribute