結果 : equivalence of type expressions in compiler design geeksforgeeks