10 lines
207 B
Plaintext
10 lines
207 B
Plaintext
|
function iter_op (const s : set(int)) : int is
|
||
|
|
var r : int := 0 ;
|
||
|
|
function aggregate (const i : int) : unit is
|
||
|
|
begin
|
||
|
|
r := r + i ;
|
||
|
|
end with unit
|
||
|
|
begin
|
||
|
|
set_iter(s , aggregate) ;
|
||
|
|
end with r
|