Joint.section: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ws/joint.bend as Joint
Lines 499-512 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=499&end_line=512

import Base
import ezx@1.11.0.0/src/pkg/pkg.bend as K

# a member's section, once it is known whether it says nothing else
def section(
  plain: Bool,
  found: Maybe<&2, Member>,
  +self: List<&2, String>,
  +name: String,
  +files: List<&2, K.Source>
) -> Res:
  match plain:
    case True{}:
      target(found, self, name, files)
    case False{}:
      Bad{"ez: " ++ ledger.at(self) ++ " gives the workspace member " ++ name ++
        " a hash, an entry or a source; its section is `workspace = true` alone"}

Uses (10):
  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=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&name=Source
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/joint.bend&name=Member
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/joint.bend&name=Res
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/joint.bend&name=ledger.at
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/joint.bend&name=target