~/jendhub

def number.stage

gralha-text-scan@0.1.0.1 · scan.bend:158

import gralha-text-scan@0.1.0.1/scan.bend as Scan
import Base

158def number.stage(+k: U32, +stage: U32) -> U32:
159  choose(U32, U32.is_eq(k, 0), choose(U32, U32.is_eq(stage, 0), 1, choose(U32, U32.is_eq(stage, 3), 4, stage)),
160    choose(U32, U32.is_eq(k, 1), 2, choose(U32, U32.is_eq(k, 2), 3, stage)))

Uses (3)

Used by (1)