Openapi.with.null: def of ezmcp@0.1.0.0
Import: import ezmcp@0.1.0.0/src/openapi.bend as Openapi
Lines 437-450 of ezmcp@0.1.0.0/src/openapi.bend: https://jend.leeeet.dev/read.txt?path=ezmcp@0.1.0.0/src/openapi.bend&start_line=437&end_line=450

import Base
import emerging-ezjson@1.2.0.0/main.bend as Json
import emerging-ezjson@1.2.0.0/src/value.bend as Value

# a type that also admits null (OpenAPI 3.0 `nullable`): a type name as an
# array of it and "null", an array of names with "null" added when it lacks
# it, anything else as it is
def with.null(typ: Value.Json) -> Value.Json:
  match typ:
    case Value.JStr{str}:
      Json.arr([Value.JStr{str}, Json.str("null")])
    case Value.JSpan{src, +n}:
      Json.arr([Value.JSpan{src, n}, Json.str("null")])
    case Value.JArr{+cs}:
      with.null.arr(any.null(Json.items(Value.JArr{cs})),
        Json.items(Value.JArr{cs}))
    case other:
      other

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/main.bend&name=arr
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/main.bend&name=items
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/main.bend&name=str
  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=ezmcp@0.1.0.0/src/openapi.bend&name=any.null
  https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/openapi.bend&name=with.null.arr