Workspace.Read: type of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ws/workspace.bend as Workspace
Lines 406-411 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=406&end_line=411

import Base

# what a ledger's text says of its workspace: nothing, a `[workspace]` table,
# or why the table could not be read
type Read is Data:
  Lone{}
  Bad{why: String}
  Root{spec: Spec}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/workspace.bend&name=Spec