Workspace.strs: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ws/workspace.bend as Workspace
Lines 413-423 of ezx@1.11.0.0/src/ws/workspace.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ws/workspace.bend&start_line=413&end_line=423

import Base
import emerging-eztoml@0.9.0.0/main.bend as E

# every item of an array as text, or nothing when one is not a string
def strs(items: List<&2, E.Val>) -> Maybe<&2, List<&2, String>>:
  match items:
    case []:
      Some{[]}
    case E.VStr{text} <> tl:
      cut.cons(text, strs(tl))
    case E.VSpan{src, nn} <> tl:
      cut.cons(E.string(E.VSpan{src, nn}), strs(tl))
    case _hd <> tl:
      None{}

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=Val
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=string
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/workspace.bend&name=cut.cons