def has_key

bend-toon-codec@0.1.0.0 · src/frame.bend:72

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

72def has_key(+k: String, +fs: J.Json) -> Bool:
73  match fs:
74    case J.JField{k2, v, t}:
75      Hd.keq(k, k2) || has_key(k, t)
76    case _:
77      False{}