Workspace.segs.eq: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ws/workspace.bend as Workspace
Lines 136-147 of ezx@1.11.0.0/src/ws/workspace.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ws/workspace.bend&start_line=136&end_line=147

import Base

# whether two paths are one, segment by segment
def segs.eq(as: List<&2, String>, bs: List<&2, String>) -> Bool:
  match as:
    case []:
      List.is_empty(&2, String, bs)
    case +ah <> at:
      match bs:
        case []:
          False{}
        case +bh <> bt:
          rest = segs.eq(at, bt)
          Bool.and(String.eq(ah, bh), rest)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.is_empty
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.eq