def segs.eq

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

import Base

136# whether two paths are one, segment by segment
137def segs.eq(as: List<&2, String>, bs: List<&2, String>) -> Bool:
138  match as:
139    case []:
140      List.is_empty(&2, String, bs)
141    case +ah <> at:
142      match bs:
143        case []:
144          False{}
145        case +bh <> bt:
146          rest = segs.eq(at, bt)
147          Bool.and(String.eq(ah, bh), rest)