i1 : x = chern_3 E
o1 = c E
3
o1 : ChernClassVariable
|
i2 : chern_3 E <- 444 o2 = 444 |
i3 : E o3 = E o3 : ChernClassVariableTable |
i4 : x
o4 = c E
3
o4 : ChernClassVariable
|
i5 : value x o5 = 444 |