def route_equal

bendvy-ecs-core@0.1.0.3 · execution_relation_resource_dispatch.bend:17

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

17def route_equal(left:Layout.Route,right:Layout.Route) -> Bool:
18  match left right:
19    case Layout.AtLeaf{} Layout.AtLeaf{}:True{}
20    case Layout.InLeft{left} Layout.InLeft{right}:route_equal(left,right)
21    case Layout.InRight{left} Layout.InRight{right}:route_equal(left,right)
22    case _ _:False{}