~/jendhub

def max_in

cswap-bend-cli@0.1.0.0 · store/seq.bend:100

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

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

Uses (4)

Used by (1)