def route_equal

bendvy-ecs-core@0.1.0.3 · execution_relation_failure_retention.bend:45

import Base
import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as Layout

45def route_equal(left:Layout.Route,right:Layout.Route) -> Bool:
46  match left right:
47    case Layout.AtLeaf{} Layout.AtLeaf{}:True{}
48    case Layout.InLeft{left} Layout.InLeft{right}:route_equal(left,right)
49    case Layout.InRight{left} Layout.InRight{right}:route_equal(left,right)
50    case _ _:False{}