class ClassList

pri next : ClassList;

pri ClInfo : ClassInfo;

meth SetNext =^ ( val n: ClassList ·

next:= n;

)

end

meth GetNext =^ ( res n: ClassList ·

n:= next;

)

end

meth SetClInfo =^ ( val c: ClassInfo ·

ClInfo:= c;

)

end

meth GetClInfo =^ ( res c: ClassInfo ·

n:= ClInfo;

)

end

end