Workspace.spec.rows: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ws/workspace.bend as Workspace
Lines 492-500 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=492&end_line=500

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

# the `[workspace]` table among a document's rows, or none
def spec.rows(rows: List<&2, E.Val>) -> Read:
  match rows:
    case []:
      Lone{}
    case E.VPair{+name, E.VHead{_path, +sub}} <> tl:
      spec.at(String.eq(name, "workspace"), sub, spec.rows(tl))
    case _hd <> tl:
      spec.rows(tl)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.eq
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=Val
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/workspace.bend&name=Read
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/workspace.bend&name=spec.at