def same_route

bendvy-ecs-core@0.1.0.3 · execution_command_permission.bend:73

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

73def same_route(left:Layout.Route,right:Layout.Route) -> Bool:
74  match left right:
75    case Layout.AtLeaf{} Layout.AtLeaf{}:True{}
76    case Layout.InLeft{left} Layout.InLeft{right}:same_route(left,right)
77    case Layout.InRight{left} Layout.InRight{right}:same_route(left,right)
78    case _ _:False{}

Uses (2)

Used by (3)