def relations_agree

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

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

87def relations_agree(~S:Data,~resources:Layout.Layout,left:Relations<S,resources>,right:Relations<S,resources>) -> Bool:
88  match left right:
89    case NoRelations{} NoRelations{}:True{}
90    case RelationAllowed{lr,_,ld,_,_,_,left} RelationAllowed{rr,_,rd,_,_,_,right}:Bool.and(same_route(lr,rr),Bool.and(same_descriptor(S,ld,rd),relations_agree(~S,~resources,left,right)))
91    case ScopeAllowed{lr,_,_,_,_,left} ScopeAllowed{rr,_,_,_,_,right}:Bool.and(same_route(lr,rr),relations_agree(~S,~resources,left,right))
92    case _ _:False{}