Joint.read.one: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ws/joint.bend as Joint
Lines 801-808 of ezx@1.11.0.0/src/ws/joint.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ws/joint.bend&start_line=801&end_line=808

import Base
import ezx@1.11.0.0/src/ws/workspace.bend as W

# a ledger git listed, when it is one under a directory
def read.one(lg: Maybe<&2, W.Ledger>, +dirs: List<&2, List<&2, String>>, +text: String, rest: Read) -> Read:
  match lg:
    case None{}:
      rest
    case Some{ll}:
      +dir = W.ledger.dir(ll)
      read.pick(W.has(dirs, dir), dir, text, rest)

Uses (8):
  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/joint.bend&name=Read
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/joint.bend&name=read.pick
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/workspace.bend&name=Ledger
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/workspace.bend&name=has
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/workspace.bend&name=ledger.dir