ObjectAndValues: obj
List: -- List(lelm:
lelm:< Object
doIt:< Object
R: ref lelm
insert:
in V: ref lelm
SSS: ref lelm
xList: List
S: ref lelm
record:
in name: ref String.String
display:
Lrecord: obj xList -- generate ref-variant for List
lelm::< Record
dummy1: var integer
Ilist: obj List -- generate val-variant for List
lelm:: Integer
dummy2: var integer
Krecord: obj List -- The same variant as L
lelm::< Record
dummy3: var integer
S: ref List