ExecutionCommandLocal.Local: type of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_command_local.bend as ExecutionCommandLocal
Lines 8-12 of bendvy-ecs-core@0.1.0.3/execution_command_local.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_command_local.bend&start_line=8&end_line=12

import Base
import bendvy-ecs-core@0.1.0.3/execution_command_buffer.bend as Buffer
import bendvy-ecs-core@0.1.0.3/execution_command_permission.bend as Permission

# The buffer is a separate affine owner from gameplay scope and user captures.
# This wrapper is the registered system's Local, so every executor outcome
# returns it through the existing system owner, including refusal/body error.
type Local<-S:Data,-P:Type,-D:Type,-User:Type> is Type:
  Local{user:User,commands:Buffer.Buffer<S,P,D>,permission:Permission.Permission}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_command_buffer.bend&name=Buffer
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_command_permission.bend&name=Permission