~/jendhub

def one

ezx@1.11.0.0 · src/ws/workspace.bend:149

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

149# whether a path is exactly one segment
150def one(ds: List<&2, String>) -> Bool:
151  match ds:
152    case []:
153      False{}
154    case _hd <> tl:
155      List.is_empty(&2, String, tl)

Uses (4)

Used by (1)