def hubs.other
import ezx@1.11.0.0/src/ws/joint.bend as Jointimport Base
import ezx@1.11.0.0/src/ws/workspace.bend as W
327# the first member naming another hub, "" for none
328def hubs.other(+hub: String, ms: List<&2, Member>) -> String:
329 match ms:
330 case []:
331 ""
332 case Member{+ds, mm} <> tl:
333 rest = hubs.other(hub, tl)
334 Bool.pick(String, hub.one(hub, mm), rest, W.segs.text(ds))