solve

GF x : G(x) GI true : bool GF false : bool GEn : int Ghel : t1 G,x : t1 / e2 : t2 GFel : 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 What is the final type of the expression eqo if true then 0 else 1