def own.at

ezx@1.11.0.0 · src/ws/doctor.bend:63

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

63# whether a committed file is a member's own: under its directory, or, for
64# the root, under no member's
65def own.at(dir: List<&2, String>, +dirs: List<&2, List<&2, String>>, +at: String) -> Bool:
66  match dir:
67    case []:
68      Bool.not(under.any(dirs, at))
69    case hd <> tl:
70      under(W.segs.text(hd <> tl), at)