~/jendhub

def scan.rows.go

gralha-coverage@0.1.0.1 · cover.bend:567

import gralha-coverage@0.1.0.1/cover.bend as Cover
import Base

567def scan.rows.go(st: Scan, n: Nat, +y: U32, +sub: U32, +even: Bool, +w: U32) -> Scan:
568  match n:
569    case 0n: st
570    case 1n+d: scan.rows.go(scan.row(st, y, sub, even, w), d, (y + 1 : U32), sub, even, w)

Uses (6)

Used by (1)