~/jendhub

def hubs

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

import ezx@1.11.0.0/src/ws/joint.bend as Joint
import Base

318# whether every member names the root's hub
319def hubs(+hub: String, ms: List<&2, Member>) -> Bool:
320  match ms:
321    case []:
322      True{}
323    case Member{_ds, mm} <> tl:
324      rest = hubs(hub, tl)
325      Bool.and(hub.one(hub, mm), rest)

Uses (6)

Used by (1)