Set: obj
Set: Container
--%globals
has::<
isEmpty:
out B: var Boolean
insert::
remove::
card:
out N: var integer
clear:
scan::
nxt: ref link
Loop:
forAllX:
current: ref elm
forAll:
pred:<
in x: ref Object
out V: var Boolean
out B: var Boolean
exists:
Fxx:<
in x: ref elm
out V: var Boolean
out B: var Boolean
reduce:
F:<
in x: ref Object
in b: var Boolean
out z: var Boolean
in IV: var Boolean
out V: var Boolean
link:
in e: ref elm
in next: ref link
head: ref link