solve

Q5.3 1 Point GF x : G(x) GF true : bool GF false : bool GEn : int Ghel : t1 G,x : t1 F e2: t2 G bel : bool GF e2 : bool GFlet r = el in e2 : 12 G Fel and e2 : bool Ghe : int Gbel : bool Gle2: t Ghe3 : t G F eq0 e : bool GFif el then e2 else e3 : t Which of the following is the correct typing rule for a conditional expression (if e1 then e2 else e3) according to the image? O G r e1: int, GI e2: int, Gie3: int G r e1: bool, GI- e2: t, Gre3:t Gr e1: int, GI e2: bool, GI e3: bool O G + e1: bool, GI- e2: bool, Gi- e3: int