def plain.scan

yaml-for-bend@0.1.1.0 · scan.bend:791

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

import Base

791def plain.scan(+st: Sc) -> Step:
792  +cur = sc.cur(st)
793  +at = cur.at(cur)
794  plain.done(pl.run(Nat.add(Nat.mul(cur.left(cur), 2n), 4n), sc.ind(st), sc.in_flow(st), at, Pl{cur, "", at, "", False{}, 0n, True{}, False{}}), st, at)

Uses (13)

Used by (1)

yaml-for-bend@0.1.1.0/scan:plain