def same_route

bendvy-ecs-core@0.1.0.3 · execution_query_schema.bend:16

import bendvy-ecs-core@0.1.0.3/execution_query_schema.bend as ExecutionQuerySchema
import Base
import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as L

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

Uses (2)

Used by (6)