def adv.n

import yaml-for-bend@0.1.1.0/scan.bend as Scan

import Base

292def adv.n(n: Nat, c: Cur) -> Cur:
293  match n:
294    case 0n:
295      c
296    case 1n+k:
297      adv.n(k, adv(c))

Uses (3)