localsEx: obj
%include Containers
xList: List.List
dum: var integer
Student:
in name: ref String.string
Course:
%locals #xList
attx: ref xList
att: ref xList
add:
in Lx: ref xList
attendees:
out atn: ref List.List
L: ref List.List
L1: ref List.List
PS: obj Course