~/jendhub

def number.accepts

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

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

152def number.accepts(+k: U32, +stage: U32, +digits: Bool) -> Bool:
153  choose(Bool, U32.is_eq(k, 0), True{},
154    choose(Bool, U32.is_eq(k, 1), U32.is_lt(stage, 2),
155      choose(Bool, U32.is_eq(k, 2), digits && U32.is_lt(stage, 3),
156        choose(Bool, U32.is_eq(k, 3), U32.is_eq(stage, 0) || U32.is_eq(stage, 3), False{}))))

Uses (7)

Used by (1)