ChernClassVariable <- Thing -- assignment to a Chern class variable

Synopsis

• Operator: <-

• Usage:

  v <- x

• Inputs:
  • v, a Chern class variable,
  • x, a thing,
• Outputs:
  • x
• Consequences:

  • x is assigned to the variable v

Description

i1 : chern_3 E

o1 = c E
      3

o1 : ChernClassVariable

i2 : chern_3 E <- 444

o2 = 444

i3 : chern_3 E

o3 = 444