let equal a b =
match a,b with
| C_int i, C_int i' -> i=i'
| C_float f , C_float f' -> f=f'
| C_pointer te , C_pointer te' -> Typ.equal te te'
| C_comp c , C_comp c' -> Compinfo.equal c c'
| C_array a , C_array a' -> AinfoComparable.equal a a'
| _ -> false