synonym -- synonym for members of a class

• Usage:

  synonym X

• Inputs:
  • X, a type
• Outputs:
  • a string, a synonym for members of the class X

i1 : synonym ZZ

o1 = integer

i2 : Stack = new Type of HashTable

o2 = Stack

o2 : Type

i3 : synonym Stack

o3 = object of class Stack

i4 : Stack.synonym = "Deligne-Mumford stack"

o4 = Deligne-Mumford stack

i5 : ofClass Stack

o5 = a "Deligne-Mumford stack"