Protocol.pt.go: def of bendonnect-rpc@0.1.0.0
Import: import bendonnect-rpc@0.1.0.0/src/protocol.bend as Protocol
Lines 211-216 of bendonnect-rpc@0.1.0.0/src/protocol.bend: https://jend.leeeet.dev/read.txt?path=bendonnect-rpc@0.1.0.0/src/protocol.bend&start_line=211&end_line=216

import Base

def pt.go(s: String, +n: U32, +acc: U32) -> Maybe<&2, U32>:
  match s:
    case SNil{}:
      Some{acc}
    case SCon{Chr{+c}, t}:
      pt.pick(Bool.and(digit(c), U32.is_lt(n, 10)), u => pt.go(t, (n + 1 : U32), sat(acc, (c - 48 : U32))))

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_lt
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.sub
  https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/protocol.bend&name=digit
  https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/protocol.bend&name=pt.pick
  https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/protocol.bend&name=sat