def num.run

bend-kit-json@0.7.0.0 · json.bend:686

import Base

686# States 3, 5 and 8 take digits until the number's part ends.
687def num.run(loop: Bool, +g: Nat, a: Array<U32>, +len: U32, +i: U32) -> Array<U32> & U32 & U32:
688  match loop:
689    case True{}:
690      run(~digit, g, a, len, i)
691    case False{}:
692      pos(a, len, i)