def strs
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
940# strings as JSON strings
941def strs(xs: List<&2, String>) -> List<&2, Value.Json>:
942 match xs:
943 case []:
944 []
945 case str <> rest:
946 Json.str(str) <> strs(rest)