A = Sig a1 a2 a3 .. in C
B = Sig b1 b2 b3 .. in C
A == B
   <=> a1 == b1 ∧ a2 == b2 .. in C