def checked_permission_agrees

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

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

57def checked_permission_agrees(~S:Data,~resources:Layout.Layout,permission:Permission.Permission,checked:CheckedPermission<S,resources>) -> Bool:
58  match checked:
59    case ReadyPermission{expected,_}:Permission.agrees(permission,expected)
60    case UnsupportedPermission{_,_}:False{}