def prepared_permission

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

import bendvy-ecs-core@0.1.0.3/execution_command_system.bend as ExecutionCommandSystem
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

35def prepared_permission(~S:Data,~resources:Layout.Layout,-Ops:Type,value:Permission.Prepared<Ops,S,resources>) -> Permission.Permission:
36  match value:
37    case Permission.Prepared{permission,relations,_,_}:permission

Uses (3)

Used by (0)

No other definition uses this definition.