Seq.max_in: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/store/seq.bend as Seq
Lines 100-105 of cswap-bend-cli@0.1.0.0/store/seq.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/store/seq.bend&start_line=100&end_line=105

import Base
import cswap-bend-cli@0.1.0.0/json.bend as Json

def max_in(+fields: Json.Json, +acc: U32) -> U32:
  match fields:
    case Json.JField{k, v, t}:
      max_in(t, max_u32(acc, str_u32(k)))
    case _:
      acc

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/json.bend&name=Json
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store/seq.bend&name=max_u32
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store/seq.bend&name=str_u32