Workspace.ledger.some: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ws/workspace.bend as Workspace
Lines 541-547 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=541&end_line=547

import Base

# a ledger under a directory of at least one segment
def ledger.some(ds: List<&2, String>, nn: String, ww: Bool) -> Maybe<&2, Ledger>:
  match ds:
    case []:
      None{}
    case +hd <> tl:
      Some{Ledger{hd <> tl, nn, ww}}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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=ezx@1.11.0.0/src/ws/workspace.bend&name=Ledger