Value.has: def of emerging-ezjson@1.3.0.0 Import: import emerging-ezjson@1.3.0.0/src/value.bend as Value Lines 404-410 of emerging-ezjson@1.3.0.0/src/value.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezjson@1.3.0.0/src/value.bend&start_line=404&end_line=410 import Base # whether an object has the key; false when the value is not an object def has(val: Json, key: String) -> Bool: match val: case JObj{pairs}: has.go(pairs, key) case _: False{} Uses (4): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/value.bend&name=Json https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/value.bend&name=has.go