def access_equal

bendvy-ecs-core@0.1.0.3 · string_equality.bend:14

import Base

14def access_equal(xs: List<&2,String>,ys: List<&2,String>) -> Bool:
15  match xs ys:
16    case Nil{} Nil{}: True{}
17    case Nil{} Con{_,_}: False{}
18    case Con{_,_} Nil{}: False{}
19    case Con{x,xs} Con{y,ys}: Bool.and(equal(x,y),access_equal(xs,ys))