type CheckedPermission

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

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

38type CheckedPermission<-S:Data,-resources:Layout.Layout> is Data:
39  ReadyPermission{permission:Permission.Permission,relations:Permission.Relations<S,resources>}
40  UnsupportedPermission{permission:Permission.Permission,relations:Permission.Relations<S,resources>}