4 (*fun op = (x
: ''a
, y
: ''a
): bool = prim ("=", "=", (x
, y
)) *)
11 | mklist n
= n
:: mklist(n
-1)
13 fun cycle(p
as (m
,f
)) =
15 else cycle(m
-1, let val x
= [(m
, mklist
2000)]
16 in fn () => #
1(hd x
) + f()
19 val r
= cycle(1000, fn() => 0);