def Parse.acc.ok

bend-scanner@0.1.0.0 · parse.bend:116

import bend-scanner@0.1.0.0/parse.bend as Parse

import Base

116def Parse.acc.ok(+acc: U32, +d: U32, +max: U32) -> Bool:
117  Nat.is_le(Nat.add(Nat.mul(U32.to_nat(acc), 10n), U32.to_nat(d)), U32.to_nat(max))

Uses (6)

Used by (1)

bend-scanner@0.1.0.0/parse:Parse.st.of2