Based on the type-rules that you generated in last question, find out the constraints of your type- checker. The abstract syntax tree for code “strA strB+strC+5” is provided and type-annotations are provided as well. t1 t2 t3 <String strA> sop,+> t4 t5 <int,5> op,+> t6 t7 <String strB> <String strC> r constraints. t1=(if Choose else TYPE ERROR IN EXP t2=String t3-if Choose ▼ then choose. void ▼ = Choose TYPE ERROR IN MATH t6 ▼ =
OR
OR