def skip

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

import Base

387def skip(+st: Sc, k: Nat) -> Sc:
388  sc.with.cur(st, adv.n(k, sc.cur(st)))

Uses (5)