def fields.len

bend-toon-codec@0.1.0.0 · src/encode.bend:112

import Base
import bend-toon-codec@0.1.0.0/src/json.bend as J

112def fields.len(+fs: J.Json) -> U32:
113  match fs:
114    case J.JField{k, v, t}:
115      (1 + fields.len(t) : U32)
116    case _:
117      0