ExecutionRetainedSystem.unpack: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_retained_system.bend as ExecutionRetainedSystem
Lines 8-12 of bendvy-ecs-core@0.1.0.3/execution_retained_system.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_retained_system.bend&start_line=8&end_line=12

import Base

def unpack(-Compilation:Type,-Owner:Type,binding:CompiledBinding<Compilation,Owner>) -> Compilation & Owner:
  match binding:
    case CompiledBinding{Held,held,same}:
      %same : _
      held

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_retained_system.bend&name=CompiledBinding