def section

ezx@1.11.0.0 · src/ws/joint.bend:499

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

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