CppEx: obj
Vector:
elms: obj Indexed(,#integer)
top: var integer
insert:
in V: var integer
scan:
current: var integer
@find_if::pred:
in find_if: ref Vector
pred:<
in N: var integer
out return: var Boolean
out res: var integer
current: var integer
L: obj
find_if_f:
in V: ref Vector
pred:<
in N: var integer
out return: var Boolean
out res: var integer
current: var integer
L: obj
vi: obj Vector
XX: var integer