7 val a
= Array
.tabulate (n
, fn i
=>
11 |
2 => A (ref
15, 16))
14 Array
.tabulate (n
, fn i
=>
15 case Array
.sub (a
, i
) of
17 |
A (r
, n
) => A (r
, n
+ 1))
19 val _
= Array
.app (fn A (r
, n
) => r
:= 17 + n
+ !r | B
=> ()) a
22 case Array
.sub (a
', 1) of
23 A (r
, _
) => print (concat
[Int.toString (!r
), "\n"])