-- -*- M2-comint -*- {* hash: 2022747053 *} i1 : class 33 o1 = ZZ o1 : Ring i2 : instance(33,ZZ) o2 = true i3 : instance(33,String) o3 = false i4 : instance(ZZ,Type) o4 = true i5 : instance(33,Type) o5 = false i6 : instance(33,Thing) o6 = true i7 : class ZZ o7 = Ring o7 : Type i8 : parent class ZZ o8 = Type o8 : Type i9 :