// random-number
function randomBetween1And5() {
return Math.floor(Math.random() * 5) + 1;
}


// unique-values
function uniqueValues(xs) {
return Array.from(new Set(xs));
}


// array-at
function arrayAt(xs, i) {
return xs[i];
}


// sum-to
function sumTo(n) {
{
const i20 = 0;
const acc21 = 0;
{
let i = i20;
let acc = acc21;
while (true) {
if (i > n) {
return acc;
} else {
const i24 = i + 1;
const acc25 = acc + i;
i = i24;
acc = acc25;
continue;
}
}
}
}
}


// make-adder
function makeAdder(x) {
return function (y) {
return x + y;
};
}


// set-html
function setHtml(id, html) {
{
const el38 = document.getElementById(id);
{
let el = el38;
el.innerHTML = html;
return el.innerHTML;
}
}
}