Function freshEngine

test/compute-engine/set-comprehension.test.ts:13–15

()

// `Count({k ∈ 1..n : gcd(n,k) = 1})` returned 2 for every n.

function freshEngine(): ComputeEngine {
  return new ComputeEngine();
}

// The Fungrim 7b27cd shape: ["Set", k, ["Element", k, domain, cond?]]
function totientSet(n: number | string) {