12 lines
164 B
Plaintext
12 lines
164 B
Plaintext
|
|
node sum_acc (a, acc_in:int) returns (acc_out:int)
|
|
let
|
|
acc_out = acc_in + a;
|
|
tel
|
|
|
|
node h(a:int^n^n2) returns (m:int)
|
|
let
|
|
m = fold<<n,n2>> sum_acc (a, 0);
|
|
tel
|
|
|