def path_eq

bend-schema-lib@0.4.1.0 · core.bend:1053

import Base

1053def path_eq(x: List<&2, Step>, y: List<&2, Step>) -> Bool:
1054  match x y:
1055    case Nil{} Nil{}:
1056      True{}
1057    case a <> at b <> bt:
1058      Bool.and(step_eq(a, b), path_eq(at, bt))
1059    case _ _:
1060      False{}