Dversion: obj
%id "Dversion"
doIT:
Containerxx:
elmxx:< Object
Mapxx:
%id "Mapxx"
domainyy:< object
rangexx:< object
entry:
%id entry
elmzz: ref rangexx
forall:
%id "forall"
current: ref Entry
Setxx: Containerxx
x: var integer
isEmpty:
out B: var Boolean
Periodxx:
x: var integer
Expertxx:
q: var integer
Expertsxx: Setxx(#Expertxx)
%id "Expertsxx"
zzz: var integer
Sch: obj Mapxx(#Periodxx,#Expertsxx)
%id "sch"
go:
B: var Boolean