def str.at
import ezmcp@0.1.0.0/src/openapi.bend as Openapiimport Base
import emerging-ezjson@1.2.0.0/main.bend as Json
import emerging-ezjson@1.2.0.0/src/value.bend as Value
220# a member's string, "" when it is not one
221def str.at(val: Value.Json, key: String) -> String:
222 Maybe.default(&2, String, Json.as_str(Json.get(val, key)), "")