solve

GF x : G(x) GF true : bool GF false : bool GIn : int Ghel : t1 G,x : t1F e2 : t2 G bel : bool GF e2 : bool GFlet r = el in e2 : 12 GFel and e2 : bool Ghe : int GFel : bool Gle2: t Ghe3 : t GI eq0 e : bool GFif el then e2 else e3 : t let x = 5 in eq0 x and false Which of the following types is the final result of this expression