def checked_relations

bendvy-ecs-core@0.1.0.3 · execution_command_system.bend:61

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

61def checked_relations(~S:Data,~resources:Layout.Layout,checked:CheckedPermission<S,resources>) -> Permission.Relations<S,resources>:
62  match checked:
63    case ReadyPermission{_,relations}:relations
64    case UnsupportedPermission{_,relations}:relations